{"id":"https://openalex.org/W6969106975","doi":"https://doi.org/10.5281/zenodo.6557905","title":"Reproduction Package for STTT Submission `Five Years Later: Testing vs. Model Checking'","display_name":"Reproduction Package for STTT Submission `Five Years Later: Testing vs. Model Checking'","publication_year":2022,"publication_date":"2022-05-19","ids":{"openalex":"https://openalex.org/W6969106975","doi":"https://doi.org/10.5281/zenodo.6557905"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.6557905","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6557905","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":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.6557905","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":"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":2,"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":{"id":"https://openalex.org/T11117","display_name":"Drug-Induced Adverse Reactions","score":0.11029999703168869,"subfield":{"id":"https://openalex.org/subfields/2736","display_name":"Pharmacology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T11117","display_name":"Drug-Induced Adverse Reactions","score":0.11029999703168869,"subfield":{"id":"https://openalex.org/subfields/2736","display_name":"Pharmacology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10051","display_name":"Asthma and respiratory diseases","score":0.051500000059604645,"subfield":{"id":"https://openalex.org/subfields/2737","display_name":"Physiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10877","display_name":"Allergic Rhinitis and Sensitization","score":0.04859999939799309,"subfield":{"id":"https://openalex.org/subfields/2723","display_name":"Immunology and Allergy"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6001999974250793},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.5777000188827515},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4796000123023987},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.44850000739097595},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43140000104904175},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.391400009393692},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.3691999912261963},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.33719998598098755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7307000160217285},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6001999974250793},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.5777000188827515},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.525600016117096},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4796000123023987},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.44850000739097595},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43140000104904175},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.391400009393692},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3691999912261963},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3614000082015991},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35199999809265137},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.33719998598098755},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.32749998569488525},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.3212999999523163},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.2946000099182129},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.28940001130104065},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.26969999074935913},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2676999866962433},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2554999887943268},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.2540000081062317},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.6557905","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6557905","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":"doi:10.5281/zenodo.6557905","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6557905","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":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.4511614441871643,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Paper":[0],"Abstract:":[1],"Five":[2],"years":[3],"ago,":[4],"we":[5,84],"performed":[6],"the":[7,34,49,90,99,138,168,171],"first":[8],"large-scale":[9],"comparison":[10,51],"of":[11,52,155,163],"automated":[12],"test":[13,53,70,116,139],"generators":[14,117],"and":[15,45,92,106,129,160,173],"software":[16],"model":[17,132],"checkers":[18,68,133],"with":[19,28],"respect":[20],"to":[21,62],"bug-finding":[22,141],"capabilities":[23,142],"on":[24,37,89,102],"a":[25,86],"benchmark":[26],"set":[27],"5,693":[29],"C":[30],"programs.":[31],"Since":[32],"then,":[33],"International":[35,100],"Competition":[36,101],"Software":[38,103],"Testing":[39],"(Test-Comp)":[40],"has":[41,191],"established":[42],"standardized":[43],"formats":[44],"community-agreed":[46],"rules":[47],"for":[48],"experimental":[50],"generators.":[54],"With":[55],"this":[56,181],"new":[57],"context,":[58],"it":[59],"is":[60],"time":[61],"revisit":[63],"our":[64],"initial":[65],"question:":[66],"Model":[67],"or":[69],"generators\u2014which":[71],"tools":[72,91],"are":[73,134],"more":[74],"effective":[75],"in":[76,79,120,180],"finding":[77],"bugs":[78],"software?":[80],"To":[81],"answer":[82],"this,":[83],"perform":[85],"comparative":[87],"analysis":[88],"existing":[93],"data":[94],"published":[95],"by":[96],"two":[97,111],"competitions,":[98],"Verification":[104],"(SV-COMP)":[105],"Test-Comp.":[107],"The":[108,178],"results":[109],"provide":[110],"insights:":[112],"(1)":[113],"Almost":[114],"all":[115,184,192],"that":[118,125],"participate":[119],"Test-Comp":[121],"use":[122],"hybrid":[123],"approaches":[124],"include":[126],"formal":[127],"methods,":[128],"(2)":[130],"while":[131],"still":[135],"highly":[136],"competitive,":[137],"generators\u2019":[140],"now":[143],"outperform":[144],"them.":[145],"Hardware":[146],"Requirements":[147],"This":[148,188],"artifact":[149],"requires":[150],"at":[151],"least":[152],"16":[153],"GB":[154,162],"RAM,":[156],"4":[157],"CPU":[158],"cores,":[159],"50":[161],"disk":[164],"space.":[165],"Usage":[166],"Start":[167],"VM,":[169],"open":[170],"terminal":[172],"switch":[174],"into":[175],"directory":[176,182],"~/Test-Study.":[177],"README.md":[179],"contains":[183],"further":[185],"instructions.":[186],"Note:":[187],"VM":[189,195,198],"already":[190],"requirements":[193],"installed.":[194],"Username:":[196],"study":[197,200],"Password:":[199]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}