{"id":"https://openalex.org/W3157443257","doi":"https://doi.org/10.1007/s10009-020-00587-8","title":"Cooperative verifier-based testing with CoVeriTest","display_name":"Cooperative verifier-based testing with CoVeriTest","publication_year":2021,"publication_date":"2021-04-25","ids":{"openalex":"https://openalex.org/W3157443257","doi":"https://doi.org/10.1007/s10009-020-00587-8","mag":"3157443257"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-020-00587-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-020-00587-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-020-00587-8.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-020-00587-8.pdf","any_repository_has_fulltext":false},"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":"Dirk Beyer","raw_affiliation_strings":["LMU Munich, Oettingenstr. 67, 80538, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich, Oettingenstr. 67, 80538, Munich, Germany","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/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Marie-Christine Jakobs","raw_affiliation_strings":["Department of Computer Science, Technical University of Darmstadt, Hochschulstr. 10, 64289, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Darmstadt, Hochschulstr. 10, 64289, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062004374"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":{"value":3290,"currency":"USD","value_usd":3290},"apc_paid":{"value":3290,"currency":"USD","value_usd":3290},"fwci":2.9124,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89196568,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"23","issue":"3","first_page":"313","last_page":"333"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"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/computer-science","display_name":"Computer science","score":0.8948642015457153},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.8702545762062073},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.666142463684082},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5616564750671387},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5607866644859314},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5402194857597351},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5366067290306091},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.525283694267273},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5224660634994507},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5173851251602173},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.42823201417922974},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.34192919731140137},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3300265371799469},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.17449679970741272}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8948642015457153},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.8702545762062073},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.666142463684082},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5616564750671387},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5607866644859314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5402194857597351},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5366067290306091},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.525283694267273},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5224660634994507},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5173851251602173},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.42823201417922974},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.34192919731140137},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3300265371799469},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.17449679970741272},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10009-020-00587-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-020-00587-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-020-00587-8.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:127970","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/127970/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"}],"best_oa_location":{"id":"doi:10.1007/s10009-020-00587-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-020-00587-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-020-00587-8.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G8502454855","display_name":"Kooperative Softwareverifikation 2","funder_award_id":"418257054","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320323384","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3157443257.pdf","grobid_xml":"https://content.openalex.org/works/W3157443257.grobid-xml"},"referenced_works_count":142,"referenced_works":["https://openalex.org/W19356467","https://openalex.org/W71772184","https://openalex.org/W86344006","https://openalex.org/W157156687","https://openalex.org/W176867143","https://openalex.org/W233657246","https://openalex.org/W965249238","https://openalex.org/W1167406420","https://openalex.org/W1491178396","https://openalex.org/W1495775210","https://openalex.org/W1497571013","https://openalex.org/W1526726828","https://openalex.org/W1529563380","https://openalex.org/W1548817078","https://openalex.org/W1553574558","https://openalex.org/W1556262481","https://openalex.org/W1556462035","https://openalex.org/W1564069522","https://openalex.org/W1571270325","https://openalex.org/W1585020894","https://openalex.org/W1600064491","https://openalex.org/W1710734607","https://openalex.org/W1787074469","https://openalex.org/W1826019303","https://openalex.org/W1841818470","https://openalex.org/W1848184400","https://openalex.org/W1975833562","https://openalex.org/W1976665040","https://openalex.org/W1986447758","https://openalex.org/W1990880047","https://openalex.org/W1995869236","https://openalex.org/W1996133876","https://openalex.org/W2014764321","https://openalex.org/W2016209832","https://openalex.org/W2019386850","https://openalex.org/W2020703884","https://openalex.org/W2022043656","https://openalex.org/W2023492421","https://openalex.org/W2028327857","https://openalex.org/W2032720115","https://openalex.org/W2041937453","https://openalex.org/W2042141335","https://openalex.org/W2045109907","https://openalex.org/W2050886219","https://openalex.org/W2052495090","https://openalex.org/W2061731456","https://openalex.org/W2066353350","https://openalex.org/W2067499928","https://openalex.org/W2073952811","https://openalex.org/W2075485888","https://openalex.org/W2081659623","https://openalex.org/W2081840025","https://openalex.org/W2082172430","https://openalex.org/W2086631793","https://openalex.org/W2093949146","https://openalex.org/W2096449544","https://openalex.org/W2101512909","https://openalex.org/W2103057263","https://openalex.org/W2103953153","https://openalex.org/W2104993088","https://openalex.org/W2107147876","https://openalex.org/W2107709519","https://openalex.org/W2107794009","https://openalex.org/W2114869486","https://openalex.org/W2116998907","https://openalex.org/W2122598528","https://openalex.org/W2124712926","https://openalex.org/W2129538349","https://openalex.org/W2132226975","https://openalex.org/W2134875273","https://openalex.org/W2135755146","https://openalex.org/W2137175751","https://openalex.org/W2139498310","https://openalex.org/W2146298624","https://openalex.org/W2146641295","https://openalex.org/W2147148915","https://openalex.org/W2147627044","https://openalex.org/W2149647957","https://openalex.org/W2151463894","https://openalex.org/W2151959678","https://openalex.org/W2152565783","https://openalex.org/W2153925299","https://openalex.org/W2155024733","https://openalex.org/W2155617664","https://openalex.org/W2158395308","https://openalex.org/W2160445528","https://openalex.org/W2161253570","https://openalex.org/W2161488870","https://openalex.org/W2169063148","https://openalex.org/W2171683519","https://openalex.org/W2182759377","https://openalex.org/W2294434616","https://openalex.org/W2295658119","https://openalex.org/W2295903414","https://openalex.org/W2529022039","https://openalex.org/W2539694140","https://openalex.org/W2548985278","https://openalex.org/W2574017551","https://openalex.org/W2596935483","https://openalex.org/W2630264676","https://openalex.org/W2740442565","https://openalex.org/W2757104921","https://openalex.org/W2763995315","https://openalex.org/W2765527199","https://openalex.org/W2767819494","https://openalex.org/W2773676607","https://openalex.org/W2794720712","https://openalex.org/W2797196027","https://openalex.org/W2797206907","https://openalex.org/W2804407995","https://openalex.org/W2805375386","https://openalex.org/W2805419234","https://openalex.org/W2806377938","https://openalex.org/W2810429158","https://openalex.org/W2888641315","https://openalex.org/W2889163403","https://openalex.org/W2899114364","https://openalex.org/W2912640545","https://openalex.org/W2912823691","https://openalex.org/W2927088448","https://openalex.org/W2928427891","https://openalex.org/W2929832674","https://openalex.org/W2934127774","https://openalex.org/W2935191403","https://openalex.org/W2971171795","https://openalex.org/W2981456945","https://openalex.org/W2999173710","https://openalex.org/W2999604408","https://openalex.org/W3015464002","https://openalex.org/W3020301075","https://openalex.org/W3040636239","https://openalex.org/W3088333655","https://openalex.org/W3100164117","https://openalex.org/W3104664063","https://openalex.org/W4211181233","https://openalex.org/W4212792638","https://openalex.org/W4236799059","https://openalex.org/W4237492309","https://openalex.org/W4239515158","https://openalex.org/W4239921445","https://openalex.org/W4246414636","https://openalex.org/W6950128168"],"related_works":["https://openalex.org/W2417055705","https://openalex.org/W4242148730","https://openalex.org/W1888619389","https://openalex.org/W2086860371","https://openalex.org/W2028796071","https://openalex.org/W1510251747","https://openalex.org/W1968494916","https://openalex.org/W2060992506","https://openalex.org/W2795302276","https://openalex.org/W2521771266"],"abstract_inverted_index":{"Abstract":[0],"Testing":[1],"is":[2,33],"a":[3,22,83],"widely":[4],"applied":[5],"technique":[6,85],"to":[7,17,99,106],"evaluate":[8],"software":[9],"quality,":[10],"and":[11,37,96,105,134,141],"coverage":[12,155],"criteria":[13],"are":[14],"often":[15],"used":[16],"assess":[18],"the":[19,101],"adequacy":[20],"of":[21,47,70,103,130],"generated":[23],"test":[24,31,74],"suite.":[25],"However,":[26],"manually":[27],"constructing":[28],"an":[29],"adequate":[30],"suite":[32],"typically":[34],"too":[35],"expensive,":[36],"numerous":[38],"techniques":[39,59],"for":[40,73,86,111,156],"automatic":[41],"test-suite":[42,87],"generation":[43],"were":[44],"proposed.":[45],"All":[46],"them":[48],"come":[49],"with":[50,146],"different":[51,58,92,122],"strengths.":[52],"To":[53],"build":[54],"stronger":[55],"test-generation":[56,148],"tools,":[57],"should":[60],"be":[61],"combined.":[62],"In":[63,116],"this":[64],"paper,":[65],"we":[66,119],"study":[67,121],"cooperative":[68],"combinations":[69,129],"verification":[71],"approaches":[72],"generation,":[75],"which":[76,126],"exchange":[77],"high-level":[78],"information.":[79],"We":[80],"present":[81],"CoVeriTest,":[82],"hybrid":[84],"generation.":[88],"CoVeriTest":[89,123,152],"iteratively":[90],"applies":[91],"conditional":[93,113],"model":[94,114,132,139],"checkers":[95],"allows":[97],"users":[98],"adjust":[100],"level":[102],"cooperation":[104,124],"configure":[107],"individual":[108],"time":[109],"limits":[110],"each":[112],"checker.":[115],"our":[117],"experiments,":[118],"systematically":[120],"setups,":[125],"either":[127],"use":[128],"explicit-state":[131],"checking":[133,140],"predicate":[135],"abstraction,":[136],"or":[137],"bounded":[138],"symbolic":[142],"execution.":[143],"A":[144],"comparison":[145],"state-of-the-art":[147],"tools":[149],"reveals":[150],"that":[151],"achieves":[153],"higher":[154],"many":[157],"programs":[158],"(about":[159],"15%).":[160]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}