{"id":"https://openalex.org/W4393766922","doi":"https://doi.org/10.5281/zenodo.6802198","title":"Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification","display_name":"Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification","publication_year":2022,"publication_date":"2022-07-06","ids":{"openalex":"https://openalex.org/W4393766922","doi":"https://doi.org/10.5281/zenodo.6802198"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6802198","is_oa":true,"landing_page_url":"https://zenodo.org/record/6802198","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,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6802198","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012972830","display_name":"S\u00f6ren Tempel","orcid":"https://orcid.org/0000-0002-3076-893X"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tempel, S\u00f6ren","raw_affiliation_strings":["University of Bremen"],"raw_orcid":"https://orcid.org/0000-0002-3076-893X","affiliations":[{"raw_affiliation_string":"University of Bremen","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012137527","display_name":"Vladimir Herdt","orcid":"https://orcid.org/0000-0002-4481-057X"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Herdt, Vladimir","raw_affiliation_strings":["University of Bremen / DFKI"],"raw_orcid":"https://orcid.org/0000-0002-4481-057X","affiliations":[{"raw_affiliation_string":"University of Bremen / DFKI","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Drechsler, Rolf","raw_affiliation_strings":["University of Bremen / DFKI"],"raw_orcid":"https://orcid.org/0000-0002-9872-1740","affiliations":[{"raw_affiliation_string":"University of Bremen / DFKI","institution_ids":["https://openalex.org/I180437899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I180437899"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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/T11949","display_name":"Nuclear Physics and Applications","score":0.8407999873161316,"subfield":{"id":"https://openalex.org/subfields/3108","display_name":"Radiation"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11949","display_name":"Nuclear Physics and Applications","score":0.8407999873161316,"subfield":{"id":"https://openalex.org/subfields/3108","display_name":"Radiation"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10597","display_name":"Nuclear reactor physics and engineering","score":0.8059999942779541,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11890","display_name":"Scientific Measurement and Uncertainty Evaluation","score":0.7008000016212463,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.6488004326820374},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5975081324577332},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5480780601501465},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2713250517845154},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17715942859649658},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.15608996152877808},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10408776998519897},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.09949168562889099}],"concepts":[{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.6488004326820374},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5975081324577332},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5480780601501465},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2713250517845154},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17715942859649658},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.15608996152877808},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10408776998519897},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09949168562889099}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6802198","is_oa":true,"landing_page_url":"https://zenodo.org/record/6802198","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,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},{"id":"doi:10.5281/zenodo.6802198","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6802198","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,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dataset"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6802198","is_oa":true,"landing_page_url":"https://zenodo.org/record/6802198","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,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1983849186","https://openalex.org/W2020667931","https://openalex.org/W2527390967","https://openalex.org/W49527103","https://openalex.org/W4285245777","https://openalex.org/W2553223552","https://openalex.org/W2334987888","https://openalex.org/W3020673255","https://openalex.org/W2893175923"],"abstract_inverted_index":{"Artifacts":[0],"for":[1,32],"the":[2,5,25,39,44,55,60,63,87,99,104],"evaluation":[3],"of":[4,10,24,38,92],"publication":[6],"<em>SISL:":[7],"Concolic":[8],"Testing":[9],"Structured":[11],"Binary":[12],"Input":[13],"Formats":[14],"via":[15],"Partial":[16],"Specification,</em>":[17],"which":[18],"will":[19],"be":[20,75,83],"published":[21],"as":[22,90],"part":[23,91],"2022":[26],"<em>International":[27],"Symposium":[28],"on":[29,97],"Automated":[30],"Technology":[31],"Verification":[33],"and":[34,71],"Analysis":[35],"</em>(ATVA).":[36],"Usage":[37],"provided":[40,89],"artifacts":[41,100],"requires":[42],"installing":[43],"SISL":[45,56],"tooling":[46],"first.":[47],"In":[48],"this":[49],"regard,":[50],"please":[51],"refer":[52],"to":[53,74,77,82,85],"either":[54],"user":[57],"manual":[58],"or":[59],"documentation":[61],"in":[62,80,103],"<em>sisl":[64],"</em>and":[65],"<em>sisl-vp</em>":[66,72],"GitHub":[67],"repositories.":[68],"Both":[69],"<em>sisl</em>":[70],"need":[73],"installed":[76],"system-wide":[78],"locations":[79],"order":[81],"able":[84],"use":[86],"scripts":[88],"these":[93],"artifacts.":[94],"More":[95],"information":[96],"using":[98],"is":[101],"available":[102],"README.md":[105],"file.":[106]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}