{"id":"https://openalex.org/W3208389911","doi":"https://doi.org/10.5281/zenodo.2566735","title":"Replication Package for Article \"CoVeriTest: Cooperative Verifier-Based Testing\" in Proc. FASE '19","display_name":"Replication Package for Article \"CoVeriTest: Cooperative Verifier-Based Testing\" in Proc. FASE '19","publication_year":2019,"publication_date":"2019-02-16","ids":{"openalex":"https://openalex.org/W3208389911","doi":"https://doi.org/10.5281/zenodo.2566735","mag":"3208389911"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:2566735","is_oa":true,"landing_page_url":"https://zenodo.org/record/2566735","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/2566735","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071340047","display_name":"Dirk Beyer","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"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062004374","display_name":"Marie-Christine Jakobs","orcid":"https://orcid.org/0000-0002-5890-4673"},"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":"Jakobs, Marie-Christine","raw_affiliation_strings":["LMU Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMU Munich","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":[],"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/T12127","display_name":"Software System Performance and Reliability","score":0.8317999839782715,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.8317999839782715,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.7910000085830688,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.7597000002861023,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/replication","display_name":"Replication (statistics)","score":0.7196041941642761},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4907418489456177},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34328627586364746},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.16126284003257751},{"id":"https://openalex.org/keywords/virology","display_name":"Virology","score":0.09288513660430908}],"concepts":[{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.7196041941642761},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4907418489456177},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34328627586364746},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.16126284003257751},{"id":"https://openalex.org/C159047783","wikidata":"https://www.wikidata.org/wiki/Q7215","display_name":"Virology","level":1,"score":0.09288513660430908}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:2566735","is_oa":true,"landing_page_url":"https://zenodo.org/record/2566735","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.2566735","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.2566735","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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dataset"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:2566735","is_oa":true,"landing_page_url":"https://zenodo.org/record/2566735","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W4205713785","https://openalex.org/W2001405890","https://openalex.org/W3016766501","https://openalex.org/W2901033488","https://openalex.org/W2382290278","https://openalex.org/W2478288626"],"abstract_inverted_index":{"Replication":[0],"package":[1],"for":[2,111,124,179],"the":[3,30,62,68,139],"article":[4],"\"Dirk":[5],"Beyer":[6],"and":[7,23,54,143,159],"Marie-Christine":[8],"Jakobs.":[9],"CoVeriTest:":[10],"Cooperative":[11],"Verifier-Based":[12],"Testing.":[13],"In":[14,151],"Proc.":[15],"FASE,":[16],"2019.":[17],"Springer.\"":[18],"It":[19],"contains":[20,38],"all":[21,89],"tools":[22,178],"data":[24],"that":[25,61],"are":[26,57,96],"necessary":[27,97],"to":[28,48,59,100,137,144,164],"reproduce":[29],"results":[31],"in":[32,80,98],"our":[33,152],"article.":[34],"The":[35],"included":[36],"README":[37],"detailed":[39],"instructions.":[40],"Abstract:":[41],"Testing":[42],"is":[43,77],"a":[44,121],"widely":[45],"used":[46,58],"method":[47],"assess":[49],"software":[50],"quality.":[51],"Coverage":[52],"criteria":[53],"coverage":[55,174],"measurements":[56],"ensure":[60],"constructed":[63],"test":[64,67,75,112],"suites":[65,76],"adequately":[66],"given":[69],"software.":[70],"Since":[71,88],"manually":[72],"developing":[73],"such":[74],"too":[78],"expensive":[79],"practice,":[81],"various":[82],"automatic":[83],"test-generation":[84,177],"approaches":[85,90,110],"were":[86],"proposed.":[87],"come":[91],"with":[92,114],"different":[93,130,167],"strengths,":[94],"combinations":[95,107],"order":[99],"achieve":[101],"stronger":[102],"tools.":[103],"We":[104,118],"study":[105,166],"cooperative":[106],"of":[108,141],"verification":[109],"generation,":[113,126],"high-level":[115],"information":[116],"exchange.":[117],"present":[119],"CoVeriTest,":[120],"hybrid":[122],"approach":[123],"test-case":[125],"which":[127],"iteratively":[128],"applies":[129],"conditional":[131],"model":[132,157],"checkers.":[133],"Thereby,":[134],"it":[135],"allows":[136],"adjust":[138],"level":[140],"cooperation":[142],"assign":[145],"individual":[146],"time":[147],"budgets":[148],"per":[149],"verifier.":[150],"experiments,":[153],"we":[154],"combine":[155],"explicit-state":[156],"checking":[158],"predicate":[160],"abstraction":[161],"(from":[162],"CPAchecker)":[163],"systematically":[165],"CoVeriTest":[168,171],"configurations.":[169],"Moreover,":[170],"achieves":[172],"higher":[173],"than":[175],"state-of-the-art":[176],"some":[180],"programs.":[181]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}