{"id":"https://openalex.org/W6894104428","doi":"https://doi.org/10.5281/zenodo.6794498","title":"Reproduction Package for SEFM 2022 Submission `Fault Localization on Verification Witnesses'","display_name":"Reproduction Package for SEFM 2022 Submission `Fault Localization on Verification Witnesses'","publication_year":2022,"publication_date":"2022-07-21","ids":{"openalex":"https://openalex.org/W6894104428","doi":"https://doi.org/10.5281/zenodo.6794498"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6794498","is_oa":true,"landing_page_url":"https://zenodo.org/record/6794498","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6794498","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Beyer, Dirk","orcid":"https://orcid.org/0000-0003-4832-7662"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Beyer, Dirk","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Kettl, Matthias","orcid":"https://orcid.org/0000-0001-7365-5030"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kettl, Matthias","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7365-5030","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lemberger, Thomas","orcid":"https://orcid.org/0000-0003-0291-815X"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lemberger, Thomas","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0291-815X","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/validator","display_name":"Validator","score":0.9211000204086304},{"id":"https://openalex.org/keywords/witness","display_name":"Witness","score":0.6861000061035156},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5817000269889832},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.5095999836921692},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.47690001130104065},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4706999957561493},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.439300000667572},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.41920000314712524}],"concepts":[{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.9211000204086304},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7197999954223633},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.6861000061035156},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5817000269889832},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.5095999836921692},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.47690001130104065},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4706999957561493},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.439300000667572},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.41920000314712524},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4131999909877777},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.3953000009059906},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.37630000710487366},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3465000092983246},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.3409999907016754},{"id":"https://openalex.org/C3020440742","wikidata":"https://www.wikidata.org/wiki/Q1176855","display_name":"Software package","level":3,"score":0.34060001373291016},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.326200008392334},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.3215999901294708},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3052999973297119},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C192328126","wikidata":"https://www.wikidata.org/wiki/Q4514647","display_name":"Schematic","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.26899999380111694}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6794498","is_oa":true,"landing_page_url":"https://zenodo.org/record/6794498","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.6794498","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6794498","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":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6794498","is_oa":true,"landing_page_url":"https://zenodo.org/record/6794498","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,16],"package":[1,5],"is":[2,136],"a":[3,65,96,131,153,175,193,212,220],"reproduction":[4],"for":[6,157,210],"our":[7,182,267],"SEFM":[8],"2022":[9,235],"submission":[10],"\"Fault":[11],"Localization":[12],"on":[13,46,64,224,232,271],"Verification":[14,234],"Witnesses\".":[15],"artifact":[17],"requires":[18],"at":[19],"least":[20],"2":[21],"CPU":[22],"cores,":[23],"8":[24],"GB":[25,31],"of":[26,32,177,240,257],"RAM,":[27],"and":[28,38,100,273],"about":[29],"120":[30],"hard-disk":[33],"space.":[34],"Open":[35],"the":[36,47,80,110,113,158,199,216,225,229,238,247,254,258],"terminal":[37],"switch":[39],"into":[40],"directory":[41],"`":[42],"~/fault-localization-on-witnesses/reproduction`.<br>":[43],"The":[44,59,262],"README.html":[45],"Desktop":[48],"contains":[49],"all":[50],"further":[51],"instructions.":[52],"VM":[53,56,60],"username:":[54],"SosyLab<br>":[55],"password:":[57],"sosy":[58],"has":[61,79],"been":[62],"tested":[63],"Windows":[66],"10":[67],"host":[68],"with":[69],"VirtualBox":[70],"Version":[71],"6.1.34":[72],"r150636":[73],"(Qt5.6.2).":[74],"<strong>Article":[75],"Abstract:":[76],"</strong>Formal":[77],"verification":[78,114],"potential":[81],"to":[82,129,160,168,201,236,265],"prove":[83],"software":[84],"safe,":[85],"but":[86],"suffers":[87],"from":[88],"trust":[89],"issues.":[90],"Because":[91],"most":[92],"formal-verification":[93],"techniques":[94],"make":[95],"trade-off":[97],"between":[98],"precision":[99],"resource":[101],"consumption,":[102],"they":[103,145,150],"may":[104],"produce":[105,169],"false":[106],"alarms.":[107],"These":[108],"reduce":[109,185,198],"confidence":[111],"in":[112,215,228],"result.":[115],"To":[116,180],"mitigate":[117],"this":[118,165,241],"issue,":[119],"state-of-the-art":[120],"verifiers":[121,167],"export":[122],"violation":[123,140,186,214],"witnesses":[124,141,172,187,226,249,269,274],"that":[125,138,164,173,203,205,246,275],"help":[126],"independent":[127],"validators":[128],"confirm":[130,266],"reported":[132],"property":[133,213],"violation.":[134],"It":[135],"assumed":[137],"these":[139],"are":[142,146],"helpful":[143],"if":[144],"very":[147],"precise:":[148],"ideally,":[149],"should":[151],"describe":[152],"single":[154],"program":[155],"path":[156],"validator":[159,259],"check.":[161],"We":[162,218],"claim":[163],"leads":[166],"large,":[170],"detailed":[171],"include":[174],"lot":[176],"unnecessary":[178],"information.":[179],"check":[181],"hypothesis,":[183],"we":[184,197],"through":[188],"automated":[189],"fault":[190,206],"localization:":[191],"Given":[192],"witness":[194,200],"as":[195],"input,":[196],"only":[202],"information":[204],"localization":[207],"deems":[208],"relevant":[209],"reaching":[211],"program.":[217],"perform":[219],"large":[221],"experimental":[222],"evaluation":[223],"produced":[227],"International":[230],"Competition":[231],"Software":[233],"explore":[237],"effect":[239],"reduction.":[242,284],"Our":[243],"experiments":[244],"show":[245],"reduced":[248,268],"shrink":[250],"considerably.":[251],"In":[252],"addition,":[253],"confirmation":[255],"rate":[256],"Symbiotic-Witch":[260],"grows:":[261],"run":[263],"time":[264],"decreases":[270],"average,":[272],"were":[276],"not":[277],"confirmed":[278,282],"before":[279],"can":[280],"be":[281],"after":[283]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}