{"id":"https://openalex.org/W7214172953","doi":"https://doi.org/10.5281/zenodo.22933135","title":"ino2ir: Replication Package for Harness-Free Symbolic Test Generation for Arduino Sketches","display_name":"ino2ir: Replication Package for Harness-Free Symbolic Test Generation for Arduino Sketches","publication_year":2026,"publication_date":"2026-09-24","ids":{"openalex":"https://openalex.org/W7214172953","doi":"https://doi.org/10.5281/zenodo.22933135"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22933135","doi":"https://doi.org/10.5281/zenodo.22933135","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22933135","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"volume":null,"type":"software","is_traditional":false,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.22933135","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Anonymous","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Anonymous","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/klee","display_name":"KLEE","score":0.6449999809265137},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"mutation testing","score":0.625},{"id":"https://openalex.org/keywords/c-compiler","display_name":"C compiler","score":0.32100000977516174},{"id":"https://openalex.org/keywords/embedded-software-testing","display_name":"embedded software testing","score":0.4749999940395355}],"concepts":[{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.8219000101089478},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7767000198364258},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6898000240325928},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.640999972820282},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6252999901771545},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5623000264167786},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5550000071525574},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.5054000020027161},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.474700003862381},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.37529999017715454},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3499999940395355},{"id":"https://openalex.org/C136501162","wikidata":"https://www.wikidata.org/wiki/Q175957","display_name":"Arduino","level":2,"score":0.33469998836517334},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.3237999975681305},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.29159998893737793},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.28119999170303345},{"id":"https://openalex.org/C2776055716","wikidata":"https://www.wikidata.org/wiki/Q7316893","display_name":"Retract","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.2619999945163727}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.5281/zenodo.22933135","doi":"https://doi.org/10.5281/zenodo.22933135","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22933135","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.22933136","doi":"https://doi.org/10.5281/zenodo.22933136","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22933136","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.22938322","doi":"https://doi.org/10.5281/zenodo.22938322","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22938322","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.22938422","doi":"https://doi.org/10.5281/zenodo.22938422","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22938422","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22933135","doi":"https://doi.org/10.5281/zenodo.22933135","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22933135","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7127094006","https://openalex.org/W7208744618","https://openalex.org/W7147757549","https://openalex.org/W6946040747","https://openalex.org/W4394554931","https://openalex.org/W7204275870","https://openalex.org/W6902063680","https://openalex.org/W7146308844","https://openalex.org/W7145005480","https://openalex.org/W6930345543"],"abstract_inverted_index":{"Anonymised":[0],"replication":[1],"package":[2],"for":[3,128],"a":[4,49,52,90],"submission":[5],"under":[6],"double-blind":[7],"review":[8],"at":[9,84],"ISEC":[10],"2027.":[11],"ino2ir-replication.zip":[12],"contains":[13],"the":[14,20,24,33,41,68,71,77,108,126,140,143],"ino2ir":[15],"compiler":[16],"(C++,":[17],"LLVM":[18],"14),":[19],"ROR/CR/SDL":[21],"mutation":[22],"engine,":[23],"public":[25],"(75":[26],"sketches)":[27,31],"and":[28,47,51,89,118,131],"controlled":[29],"(60":[30],"corpora,":[32],"15":[34],"manual":[35],"KLEE":[36,82],"harnesses,":[37],"all":[38,64],"analysis":[39],"scripts,":[40],"raw":[42],"results":[43],"behind":[44],"every":[45],"table":[46],"figure,":[48],"Dockerfile,":[50],"README":[53],"that":[54],"maps":[55],"each":[56],"result":[57],"to":[58,98],"its":[59],"file.":[60],"python3":[61],"check_against_paper.py":[62],"recomputes":[63],"73":[65],"numbers":[66],"of":[67],"paper":[69],"from":[70,139],"recorded":[72],"results.":[73],"Docker":[74],"image":[75,134],"with":[76,102],"complete":[78],"toolchain":[79],"(LLVM/Clang":[80],"14,":[81],"3.3-pre":[83],"commit":[85],"efa1e05,":[86],"STP":[87],"2.3.3)":[88],"built":[91,138],"ino2ir,":[92],"split":[93],"into":[94],"14":[95],"parts":[96],"ino2ir-artifact.tar.gz.part-00":[97],"part-13.":[99],"Join":[100],"them":[101],"cat":[103],"ino2ir-artifact.tar.gz.part-*":[104],">":[105],"ino2ir-artifact.tar.gz,":[106],"verify":[107],"SHA-256":[109],"against":[110],"ino2ir-artifact.tar.gz.sha256,":[111],"then":[112],"run":[113,120],"docker":[114,119],"load":[115],"-i":[116],"ino2ir-artifact.tar.gz":[117],"--rm":[121],"ino2ir-artifact":[122],"./check_recorded.sh.":[123],"HOW_TO_REASSEMBLE_DOCKER_IMAGE.txt":[124],"gives":[125],"steps":[127],"Linux,":[129],"macOS,":[130],"Windows.":[132],"The":[133],"can":[135],"also":[136],"be":[137],"Dockerfile":[141],"in":[142],"zip.":[144]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-25T00:00:00"}