{"id":"https://openalex.org/W6968988630","doi":"https://doi.org/10.5281/zenodo.7103288","title":"Reproduction Package for FMSD Article `Construction of Verifier Combinations From Off-the-Shelf Components'","display_name":"Reproduction Package for FMSD Article `Construction of Verifier Combinations From Off-the-Shelf Components'","publication_year":2022,"publication_date":"2022-01-06","ids":{"openalex":"https://openalex.org/W6968988630","doi":"https://doi.org/10.5281/zenodo.7103288"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7103288","is_oa":true,"landing_page_url":"https://zenodo.org/record/7103288","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":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7103288","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":false,"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":"Kanav, Sudeep","orcid":"https://orcid.org/0000-0001-6078-4175"},"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":"Kanav, Sudeep","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6078-4175","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":"Kleinert, Tobias","orcid":"https://orcid.org/0000-0003-3730-3745"},"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":"Kleinert, Tobias","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3730-3745","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":"Richter, Cedric","orcid":"https://orcid.org/0000-0003-2906-6508"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Richter, Cedric","raw_affiliation_strings":["University of Oldenburg, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2906-6508","affiliations":[{"raw_affiliation_string":"University of Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.5993000268936157},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.5317000150680542},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.5274999737739563},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4934999942779541},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4909999966621399},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48240000009536743},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45170000195503235},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.4424000084400177}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8496000170707703},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6085000038146973},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.5993000268936157},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.5317000150680542},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.5274999737739563},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4934999942779541},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4909999966621399},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48240000009536743},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45170000195503235},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.4424000084400177},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43149998784065247},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.39250001311302185},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.38659998774528503},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3691999912261963},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3549000024795532},{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.35350000858306885},{"id":"https://openalex.org/C171730128","wikidata":"https://www.wikidata.org/wiki/Q5227290","display_name":"Data file","level":2,"score":0.351500004529953},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3472000062465668},{"id":"https://openalex.org/C174183944","wikidata":"https://www.wikidata.org/wiki/Q334661","display_name":"MIT License","level":3,"score":0.3409000039100647},{"id":"https://openalex.org/C97250363","wikidata":"https://www.wikidata.org/wiki/Q235557","display_name":"File format","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C2775937380","wikidata":"https://www.wikidata.org/wiki/Q1232589","display_name":"Replica","level":2,"score":0.3165000081062317},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.295199990272522},{"id":"https://openalex.org/C58489278","wikidata":"https://www.wikidata.org/wiki/Q1172284","display_name":"Data set","level":2,"score":0.257999986410141}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:7103288","is_oa":true,"landing_page_url":"https://zenodo.org/record/7103288","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":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.7103288","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7103288","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:7103288","is_oa":true,"landing_page_url":"https://zenodo.org/record/7103288","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":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"README-artifact":[0],"This":[1,307,333,346,380,397,599,648],"file":[2,252,272,554,630,649,661],"describes":[3],"the":[4,7,11,25,29,33,76,83,92,102,109,129,143,177,185,196,205,229,233,243,264,284,291,301,310,318,324,336,342,349,356,364,374,384,387,394,400,404,409,437,461,465,478,490,494,500,503,510,515,529,534,537,543,556,573,580,604,607,617,627,632,646,653,656,663,672,677,681,690],"contents":[5],"of":[6,14,51,62,82,91,132,176,184,195,386,489,493,502,514,655,693],"replication":[8,175,488],"package":[9],"for":[10,28,32,172,403,407,472,485,506,680],"article":[12,365],"\u201cConstruction":[13],"Verifier":[15],"Combinations":[16],"From":[17],"Off-the-Shelf":[18],"Components\u201d,":[19],"submitted":[20],"to":[21,74,116,218,231,262,317,425,443,445,452,476,578,585,615,625,636,644,669],"FMSD.":[22],"It":[23,561,582],"contains":[24,309,335,348,382,399,509,528],"experimental":[26,462],"data":[27,115,402,450,673],"evaluation":[30,121,159,463],"done":[31],"article.":[34,466],"<strong>Authors</strong>":[35],"Dirk":[36],"Beyer,":[37],"Sudeep":[38],"Kanav,":[39],"Tobias":[40],"Kleinert,":[41],"and":[42,165,174,215,273,470,487,558,596,675],"Cedric":[43],"Richter":[44],"<strong>License:</strong>":[45],"SPDX-License-Identifier:":[46],"CC-BY-4.0<br>":[47],"https://spdx.org/licenses/CC-BY-4.0.html":[48],"Different":[49],"directories":[50,302],"this":[52,63,304,378,550,571],"artifact":[53],"are":[54,106,134,315,328,441,621],"licensed":[55],"differently.":[56],"For":[57],"details":[58,322],"see":[59],"LICENSE.":[60],"<strong>Contents":[61],"Archive:</strong>":[64],"<pre><code>":[65],".":[66],"|--":[67,78,87,96,111,122,136,145,150,160,167,180,187,199,207,221,236,249,256],"benchdefs/":[68],"#":[69,80,89,98,113,124,138,147,152,162,169,182,189,201,209,223,238,251,258],"benchmark":[70,268,311,325],"definition":[71,225,271,312,326,420,612],"files":[72,191,226,313,327,513,620],"used":[73,107,119,127,141,157,171,227,392,422,459,475,484,614,668],"execute":[75,645,676],"experiments":[77,110,144,279,504,557,686],"benchexec/":[79],"submodule":[81,90],"BenchExec":[84],"project:":[85,94],"https://github.com/sosy-lab/benchexec":[86],"coveriteam/":[88],"CoVeriTeam":[93,117,139],"https://gitlab.com/sosy-lab/software/coveriteam":[95],"cache/":[97],"directory":[99,308,334,347,381,398,498],"containing":[100,216,253,260,499,662],"all":[101,383],"downloaded":[103],"tools":[104,388],"that":[105,314,389,634],"in":[108,120,128,142,158,294,303,363,377,393,415,460,464,566,570,606],"coveriteam-input/":[112],"input":[114,266,316,401,442],"programs":[118,140],"actor-definitions/":[123],"actor":[125,419],"definitions":[126,414],"experiments;":[130],"some":[131],"it":[133],"generated":[135],"cvt-programs/":[137],"hardness_models/":[146],"hardness":[148,453,479,495],"models":[149],"checkpoints/default/":[151],"The":[153,278,359,456,685],"default":[154],"selection":[155,457],"checkpoint":[156],"data/":[161],"Precomputed":[163,468],"embeddings":[164,469],"labels":[166,471],"train_hardness_model.ipynb":[168],"notebook":[170,483],"description":[173,486],"training":[178,491],"process":[179,492],"results/":[181],"results":[183,214,501],"execution":[186,194],"raw/":[188],"result":[190,219,512,538],"produced":[192,203,518,531],"by":[193,204,228,423,519,532,591,623,652],"benchmarks":[197],"set":[198],"html-tables/":[200],"html-tables":[202],"`table-generator`":[206,230],"index.html":[208],"web":[210],"page":[211],"describing":[212,436,555,631],"experiment":[213],"links":[217],"tables.":[220,609,628],"tabledefs/":[222],"table":[224,270,611],"create":[232,263,426,446],"html":[234,274,553,608],"tables":[235],"Dockerfile.user.2022":[237],"Dockerfile":[239],"configuration":[240],"taken":[241,341,355],"from":[242],"software":[244,657],"verification":[245,658],"competition":[246],"2022:":[247],"https://sv-comp.sosy-lab.org/2022/":[248],"LICENSE.txt":[250],"license":[254,664],"information":[255,429,522,541,665],"Makefile":[257,259,667],"targets":[261],"additional":[265],"files,":[267],"templates,":[269],"tables.</code></pre>":[275],"<strong>System":[276],"requirements</strong>":[277],"could":[280],"be":[281,563,576,637],"reproduced":[282],"on":[283,289,536,639,689,697],"machine":[285,643],"running":[286],"Ubuntu":[287,641],"20.04":[288,642],"which":[290],"packages":[292,633],"listed":[293],"<code>Dockerfile.user.2022</code>":[295],"have":[296,340,354,366,390],"been":[297,367,391],"installed.":[298],"<strong>Details":[299],"about":[300,323,542],"archive</strong>":[305],"<code>benchdefs/</code>:":[306],"tool":[319,337,350,360,375,405,410,438,447],"<code>BenchExec</code>.":[320,520],"More":[321,428,521,540],"available":[329,431,524,546],"at:":[330,432,525,547],"https://github.com/sosy-lab/benchexec/blob/main/doc/benchexec.md":[331],"<code>benchexec/</code>:":[332],"<code>BenchExec</code>:https://github.com/sosy-lab/benchexec.":[338],"We":[339,353],"commit:":[343,357],"<code>4e8716bd75d22ab8b9391fc4ba647ff46819dfb5</code>":[344],"<code>coveriteam/</code>:":[345],"<code>CoVeriTeam</code>:":[351],"https://gitlab.com/sosy-lab/software/coveriteam.":[352],"<code>db13b648e3a71fa66e21bc8307513f9c029159e1</code>.":[358],"combinations":[361],"evaluated":[362],"constructed":[368],"using":[369],"<code>CoVeriTeam</code>.":[370],"<code>cache/</code>:":[371],"<code>CoVeriTeam</code>":[372,406,424,444],"downloads":[373],"archives":[376,385],"directory.":[379],"evaluation.":[395,507,682],"<code>coveriteam-input/</code>:":[396],"constructing":[408],"combinations.":[411,439,448],"<code>actor-definitions/</code>:":[412],"Actor":[413],"YAML":[416],"format.":[417],"An":[418],"is":[421,430,523,545,551,583,650],"actors.":[427],"<code>coveriteam/doc/index.md#actor-definition</code>":[433],"<code>cvt-programs/</code>:":[434],"Program":[435],"These":[440,619],"<code>hardness_models/</code>:":[449],"related":[451],"models.":[454,480,496],"<code>checkpoints/default/</code>:":[455],"checkpoints":[458],"<code>data/</code>:":[467],"SVComp":[473],"2021":[474],"train":[477],"<code>train_hardness_model.ipynb</code>:":[481],"Jupyter":[482],"<code>results/</code>:":[497],"conducted":[505],"<code>raw/</code>:":[508],"raw":[511],"experiments,":[516],"as":[517],"https://github.com/sosy-lab/benchexec/blob/main/doc/run-results.md.":[526],"<code>html-tables/</code>:":[527],"<code>html-tables</code>":[530],"executing":[533,592],"<code>table-generator</code>":[535,544,624],"files.":[539],"https://github.com/sosy-lab/benchexec/blob/main/doc/table-generator.md.":[548],"<code>index.html</code>:":[549],"an":[552,640],"their":[559],"results.":[560],"can":[562,602],"opened":[564],"simply":[565,586],"a":[567,588],"browser,":[568],"but":[569],"case":[572],"viewer":[574],"won\u2019t":[575],"able":[577],"access":[579],"logs.":[581],"better":[584],"start":[587],"php":[589],"server":[590],"<code>php":[593],"-S":[594],"127.0.0.1:8000</code>":[595],"browse":[597],"<code>http://127.0.0.1:8000</code>.":[598],"way":[600],"one":[601],"view":[603],"logs":[605],"<code>tabledefs/</code>:":[610],"templates":[613],"generate":[616,626,671],"html-tables.":[618],"consumed":[622],"<code>Dockerfile.user.2021</code>:":[629],"need":[635],"installed":[638],"tools.":[647],"provided":[651],"organizers":[654],"competition.":[659],"<code>LICENSE.txt</code>:":[660],"<code>Makefile</code>:":[666],"partially":[670],"for,":[674],"benchmarking":[678],"tasks":[679],"<strong>Benchmark":[683],"tasks</strong>":[684],"were":[687],"executed":[688],"<code>Benchmark":[691],"Set":[692],"11th":[694],"Intl.":[695],"Competition":[696],"Software":[698],"Verification":[699],"(SV-COMP":[700],"2022)</code>:":[701],"https://zenodo.org/record/5831003":[702]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}