ino2ir: Replication Package for Harness-Free Symbolic Test Generation for Arduino Sketches
Year: 2026
Type: software
Abstract: Anonymised replication package for a submission under double-blind review at ISEC 2027. ino2ir-replication.zip contains the ino2ir compiler (C++, LLVM 14), the ROR/CR/SDL mutation engine, the public (75 sketches) and controlled (60 sketches) corpora, the 15 manual KLEE harnesses, all analysis scripts, the raw results behind every table and figure, a Dockerfile, and a README that maps each result to its file. python3 check_against_paper.py recomputes all 73 numbers of the paper from the recorded results. Docker image with the complete toolchain (LLVM/Clang 14, KLEE 3.3-pre at commit efa1e05, STP 2.3.3) and a built ino2ir, split into 14 parts ino2ir-artifact.tar.gz.part-00 to part-13. Join them with cat ino2ir-artifact.tar.gz.part-* > ino2ir-artifact.tar.gz, verify the SHA-256 against ino2ir-artifact.tar.gz.sha256, then run docker load -i ino2ir-artifact.tar.gz and docker run --rm ino2ir-artifact ./check_recorded.sh. HOW_TO_REASSEMBLE_DOCKER_IMAGE.txt gives the steps for Linux, macOS, and Windows. The image can also be built from the Dockerfile in the zip.
Author: Anonymous
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7214172953