{"id":"https://openalex.org/W2997924541","doi":"https://doi.org/10.1145/3289256","title":"Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search","display_name":"Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search","publication_year":2019,"publication_date":"2019-01-25","ids":{"openalex":"https://openalex.org/W2997924541","doi":"https://doi.org/10.1145/3289256","mag":"2997924541"},"language":"en","primary_location":{"id":"doi:10.1145/3289256","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3289256","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3289256","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3289256","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103176215","display_name":"Andreas Fellner","orcid":"https://orcid.org/0000-0002-3618-2251"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Andreas Fellner","raw_affiliation_strings":["AIT Austrian Institute of Technology, TU Wien, Vienna Austria"],"raw_orcid":"https://orcid.org/0000-0002-3618-2251","affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, TU Wien, Vienna Austria","institution_ids":["https://openalex.org/I132118926","https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039742952","display_name":"Willibald Krenn","orcid":"https://orcid.org/0000-0002-6286-3413"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Willibald Krenn","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059188790","display_name":"Rupert Schlick","orcid":"https://orcid.org/0000-0002-5644-1679"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Rupert Schlick","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023392230","display_name":"Thorsten Tarrach","orcid":"https://orcid.org/0000-0003-4409-8487"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Thorsten Tarrach","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna Austria"],"raw_orcid":"https://orcid.org/0000-0003-4409-8487","affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017958562","display_name":"Georg Wei\u00dfenbacher","orcid":"https://orcid.org/0000-0002-0143-632X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Georg Weissenbacher","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":{"value":1418,"currency":"EUR","value_usd":1529},"fwci":4.1421,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.92958678,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"18","issue":"1","first_page":"1","last_page":"28"},"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.9973000288009644,"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.8189317584037781},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7351198196411133},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5047918558120728},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4395565688610077},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4000176191329956},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36000925302505493},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3224257826805115},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2357928454875946},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21145910024642944},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11740216612815857}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8189317584037781},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7351198196411133},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5047918558120728},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4395565688610077},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4000176191329956},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36000925302505493},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3224257826805115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2357928454875946},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21145910024642944},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11740216612815857},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3289256","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3289256","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3289256","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3289256","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3289256","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3289256","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.4300000071525574}],"awards":[{"id":"https://openalex.org/G2512157488","display_name":"Heisenbugs: From Detection to Explanation","funder_award_id":"VRG11-005","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G5786741200","display_name":null,"funder_award_id":"853308","funder_id":"https://openalex.org/F4320323031","funder_display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320323031","display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","ror":"https://ror.org/028jc0449"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W119383752","https://openalex.org/W756066436","https://openalex.org/W1556900989","https://openalex.org/W1965194038","https://openalex.org/W1972978214","https://openalex.org/W1974581510","https://openalex.org/W2000050212","https://openalex.org/W2004071059","https://openalex.org/W2011762419","https://openalex.org/W2013711971","https://openalex.org/W2018017297","https://openalex.org/W2032782696","https://openalex.org/W2043279475","https://openalex.org/W2054283290","https://openalex.org/W2066210260","https://openalex.org/W2066672703","https://openalex.org/W2074891852","https://openalex.org/W2096449544","https://openalex.org/W2098639318","https://openalex.org/W2101629181","https://openalex.org/W2104276300","https://openalex.org/W2107709519","https://openalex.org/W2108643443","https://openalex.org/W2112640524","https://openalex.org/W2115626531","https://openalex.org/W2119296494","https://openalex.org/W2122205205","https://openalex.org/W2124455817","https://openalex.org/W2130422196","https://openalex.org/W2135841285","https://openalex.org/W2135937266","https://openalex.org/W2142715983","https://openalex.org/W2157083801","https://openalex.org/W2157755550","https://openalex.org/W2163559687","https://openalex.org/W2247455710","https://openalex.org/W2478041726","https://openalex.org/W2548131485","https://openalex.org/W2582998992","https://openalex.org/W2741563842","https://openalex.org/W2757343986","https://openalex.org/W3007533873"],"related_works":["https://openalex.org/W3177062893","https://openalex.org/W3125143773","https://openalex.org/W2007032764","https://openalex.org/W803550684","https://openalex.org/W2483226803","https://openalex.org/W4352977312","https://openalex.org/W3143937874","https://openalex.org/W4312926500","https://openalex.org/W2067280619","https://openalex.org/W4251343851"],"abstract_inverted_index":{"This":[0],"work":[1],"introduces":[2],"a":[3,36,81,121],"heuristic-guided":[4],"branching":[5,155],"search":[6,156],"algorithm":[7,14,43,51,97],"for":[8,72,143],"model-based,":[9],"mutation-driven":[10,191],"test-case":[11,64,101,192],"generation.":[12,65],"The":[13,42],"is":[15,35,44,165,188,196],"designed":[16],"towards":[17,63],"the":[18,40,47,88,92,99,111,117,148,160],"efficient":[19],"and":[20,74,114,159],"computationally":[21],"tractable":[22],"exploration":[23],"of":[24,39,110,116,124,162,179,201],"discrete,":[25],"non-deterministic":[26],"models":[27,126,177,200],"with":[28],"huge":[29],"state":[30,76],"spaces.":[31],"Asynchronous":[32],"parallel":[33],"processing":[34],"key":[37],"feature":[38],"algorithm.":[41],"inspired":[45],"by":[46],"successful":[48],"path":[49],"planning":[50],"Rapidly":[52],"exploring":[53],"Random":[54],"Trees":[55],"(RRT).":[56],"We":[57,94,105,152],"adapt":[58],"RRT":[59],"in":[60,98,128],"several":[61,144],"aspects":[62],"Most":[66],"notably,":[67],"we":[68,134,171],"introduce":[69],"parametrized":[70],"heuristics":[71,113,164],"start":[73],"successor":[75],"selection,":[77],"as":[78,80],"well":[79,158],"mechanism":[82],"to":[83,146,175,198],"construct":[84],"test":[85],"cases":[86],"from":[87],"data":[89,150],"produced":[90],"during":[91],"search.":[93],"implemented":[95],"our":[96,168,185],"existing":[100],"generation":[102,193],"framework":[103],"MoMuT.":[104],"present":[106],"an":[107,129],"extensive":[108],"evaluation":[109],"proposed":[112],"parameters":[115],"algorithm,":[118,170],"based":[119],"on":[120,140],"diverse":[122],"set":[123],"demanding":[125],"obtained":[127],"industrial":[130],"context.":[131],"In":[132],"total,":[133],"continuously":[135],"utilized":[136],"128":[137],"CPU":[138],"cores":[139],"three":[141],"servers":[142],"weeks":[145],"gather":[147],"experimental":[149],"presented.":[151],"show":[153],"that":[154,195],"works":[157],"use":[161],"multiple":[163],"justified.":[166],"With":[167],"new":[169],"are":[172],"now":[173],"able":[174,197],"process":[176,199],"consisting":[178],"over":[180],"2,300":[181],"concurrent":[182],"objects.":[183],"To":[184],"knowledge,":[186],"there":[187],"no":[189],"other":[190],"tool":[194],"this":[202],"magnitude.":[203]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":7},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}