{"id":"https://openalex.org/W3013467928","doi":"https://doi.org/10.18420/se2020_31","title":"Cooperative Test-Case Generation with Verifiers","display_name":"Cooperative Test-Case Generation with Verifiers","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3013467928","doi":"https://doi.org/10.18420/se2020_31","mag":"3013467928"},"language":"en","primary_location":{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:119601","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/119601/","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":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Konferenzver\u00f6ffentlichung"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/se2020_31","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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Beyer, Dirk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5062004374","display_name":"Marie-Christine Jakobs","orcid":"https://orcid.org/0000-0002-5890-4673"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jakobs, Marie-Christine","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05077658,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"107","last_page":"108"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9922999739646912,"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":0.9922999739646912,"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/T14025","display_name":"Educational Technology and Assessment","score":0.9366000294685364,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.914900004863739,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/test","display_name":"Test (biology)","score":0.48395493626594543},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36418554186820984},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32196927070617676},{"id":"https://openalex.org/keywords/ecology","display_name":"Ecology","score":0.13987109065055847},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.12253695726394653}],"concepts":[{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.48395493626594543},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36418554186820984},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32196927070617676},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.13987109065055847},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.12253695726394653}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:119601","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/119601/","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":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Konferenzver\u00f6ffentlichung"},{"id":"doi:10.18420/se2020_31","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2020_31","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210134436","host_organization_name":"German Informatics Society","host_organization_lineage":["https://openalex.org/I4210134436"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3013467928","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/se/se2020.html#0001J20","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.18420/se2020_31","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2020_31","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210134436","host_organization_name":"German Informatics Society","host_organization_lineage":["https://openalex.org/I4210134436"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"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/W3095071793","https://openalex.org/W2599020075","https://openalex.org/W2575929994","https://openalex.org/W2405913761","https://openalex.org/W1506339322","https://openalex.org/W2566241544","https://openalex.org/W1539019418","https://openalex.org/W2167022220","https://openalex.org/W1572088380","https://openalex.org/W2914372222","https://openalex.org/W2059703974","https://openalex.org/W2109337044","https://openalex.org/W2120525820","https://openalex.org/W2026584294","https://openalex.org/W2217155299","https://openalex.org/W2520741149","https://openalex.org/W2368371313","https://openalex.org/W1966629014","https://openalex.org/W2954583943","https://openalex.org/W2167793921"],"abstract_inverted_index":{"Software":[0,135],"testing":[1],"is":[2,23,69,113,117],"widely":[3],"applied":[4],"in":[5,129],"software":[6],"quality":[7],"assurance.":[8],"Often,":[9],"test":[10,47,55,95,101],"suites":[11,48,56],"fulfilling":[12],"a":[13,80,94,100],"certain":[14],"coverage":[15,52],"measure":[16],"must":[17],"be":[18],"constructed.":[19],"Manually":[20],"constructing":[21],"them":[22,116],"laborious.":[24],"However,":[25],"numerous":[26],"automatic":[27],"test-generation":[28,65],"approaches":[29],"exist.":[30],"Due":[31],"to":[32],"various":[33],"strengths":[34],"and":[35,72,92,109,138],"weaknesses":[36],"of":[37,82,147],"individual":[38,59,106],"approaches,":[39,41,45],"hybrid":[40,64],"which":[42,110],"combine":[43],"different":[44,122],"construct":[46],"that":[49,84],"achieve":[50],"higher":[51],"values":[53],"than":[54],"generated":[57],"by":[58],"approaches.":[60],"We":[61,119],"propose":[62],"the":[63,130,140,145],"approach":[66],"CoVeriTest.":[67],"CoVeriTest":[68,123,149],"flexible,":[70],"cooperative,":[71],"based":[73],"on":[74,134],"verification":[75],"technology.":[76],"It":[77],"iteratively":[78],"executes":[79],"sequence":[81],"verifiers":[83],"may":[85],"exchange":[86],"analysis":[87,111],"information":[88,112],"between":[89,115],"each":[90],"other":[91],"output":[93],"case":[96],"whenever":[97],"they":[98],"reach":[99],"goal.":[102],"The":[103,125],"verifiers,":[104],"their":[105],"time":[107],"limits,":[108],"exchanged":[114],"configurable.":[118],"experimented":[120],"with":[121],"configurations.":[124],"best":[126],"configuration":[127],"participated":[128],"1st":[131],"International":[132],"Competition":[133],"Testing":[136],"(Test-Comp\u201919)":[137],"won":[139],"third":[141],"place.":[142],"This":[143],"proves":[144],"value":[146],"our":[148],"approach.":[150]},"counts_by_year":[],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}