{"id":"https://openalex.org/W2757343986","doi":"https://doi.org/10.1145/3127041.3127049","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":2017,"publication_date":"2017-09-27","ids":{"openalex":"https://openalex.org/W2757343986","doi":"https://doi.org/10.1145/3127041.3127049","mag":"2757343986"},"language":"en","primary_location":{"id":"doi:10.1145/3127041.3127049","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3127041.3127049","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3127049&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3127049&type=pdf","any_repository_has_fulltext":null},"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/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Andreas Fellner","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["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":null,"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":5,"corresponding_author_ids":["https://openalex.org/A5103176215"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":1.7668,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.86187736,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"56","last_page":"66"},"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.9976999759674072,"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.9969000220298767,"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/heuristics","display_name":"Heuristics","score":0.7177703976631165},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6995260715484619},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.5713675022125244},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.48692524433135986},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4646878242492676},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4594034254550934},{"id":"https://openalex.org/keywords/search-algorithm","display_name":"Search algorithm","score":0.4477972686290741},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4219830334186554},{"id":"https://openalex.org/keywords/search-tree","display_name":"Search tree","score":0.4105125665664673},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3846421539783478},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.36505717039108276},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24070852994918823},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19336163997650146},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1750238537788391}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7177703976631165},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6995260715484619},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.5713675022125244},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.48692524433135986},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4646878242492676},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4594034254550934},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.4477972686290741},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4219830334186554},{"id":"https://openalex.org/C207024777","wikidata":"https://www.wikidata.org/wiki/Q621673","display_name":"Search tree","level":3,"score":0.4105125665664673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3846421539783478},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36505717039108276},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24070852994918823},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19336163997650146},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1750238537788391},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","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},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/3127041.3127049","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3127041.3127049","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3127049&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3127041.3127049","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3127041.3127049","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3127049&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6000000238418579,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[{"id":"https://openalex.org/G1565711312","display_name":null,"funder_award_id":"845582","funder_id":"https://openalex.org/F4320323031","funder_display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft"},{"id":"https://openalex.org/G1975729292","display_name":null,"funder_award_id":"W1255-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"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/G3321690037","display_name":null,"funder_award_id":"692455","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G4587648383","display_name":null,"funder_award_id":"692455","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6947071278","display_name":null,"funder_award_id":"S11403","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7052333967","display_name":null,"funder_award_id":"S11403-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7314097379","display_name":null,"funder_award_id":"692455","funder_id":"https://openalex.org/F4320335254","funder_display_name":"Horizon 2020"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8680849391","display_name":"Logical Methods in Computer Science","funder_award_id":"W1255","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320323031","display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","ror":"https://ror.org/028jc0449"},{"id":"https://openalex.org/F4320323033","display_name":"Bundesministerium f\u00fcr Verkehr, Innovation und Technologie","ror":"https://ror.org/04marky29"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null},{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2757343986.pdf","grobid_xml":"https://content.openalex.org/works/W2757343986.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W113451589","https://openalex.org/W119383752","https://openalex.org/W131069610","https://openalex.org/W618136976","https://openalex.org/W756066436","https://openalex.org/W1508225079","https://openalex.org/W1509343160","https://openalex.org/W1731663387","https://openalex.org/W1925475221","https://openalex.org/W1965194038","https://openalex.org/W1972978214","https://openalex.org/W1996596150","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/W2114869486","https://openalex.org/W2115626531","https://openalex.org/W2119296494","https://openalex.org/W2122205205","https://openalex.org/W2130422196","https://openalex.org/W2135841285","https://openalex.org/W2135937266","https://openalex.org/W2141664020","https://openalex.org/W2142715983","https://openalex.org/W2153185479","https://openalex.org/W2157083801","https://openalex.org/W2157755550","https://openalex.org/W2160973401","https://openalex.org/W2163559687","https://openalex.org/W2247455710","https://openalex.org/W3007533873","https://openalex.org/W3119741957"],"related_works":["https://openalex.org/W2789480285","https://openalex.org/W1971267722","https://openalex.org/W2402589461","https://openalex.org/W3094979732","https://openalex.org/W2037710955","https://openalex.org/W183780713","https://openalex.org/W2049361636","https://openalex.org/W1971361861","https://openalex.org/W2131923625","https://openalex.org/W2810821464"],"abstract_inverted_index":{"This":[0],"work":[1],"introduces":[2],"a":[3,37,83],"heuristic-guided":[4],"branching":[5],"search":[6],"algorithm":[7,15,44,52],"for":[8,74],"model-based,":[9],"mutation-driven":[10],"test":[11,65,87],"case":[12,66],"generation.":[13,67],"The":[14,43],"is":[16,36,45],"designed":[17],"towards":[18,64],"the":[19,41,48,90],"efficient":[20],"and":[21,76],"computationally":[22],"tractable":[23],"exploration":[24],"of":[25,40],"discrete,":[26],"non-deterministic":[27],"models":[28],"with":[29],"huge":[30],"state":[31,78],"spaces.":[32],"Asynchronous":[33],"parallel":[34],"processing":[35],"key":[38],"feature":[39],"algorithm.":[42],"inspired":[46],"by":[47],"successful":[49],"path":[50],"planning":[51],"Rapidly":[53],"exploring":[54],"Random":[55],"Trees":[56],"(RRT).":[57],"We":[58],"adapt":[59],"RRT":[60],"in":[61],"several":[62],"aspects":[63],"Most":[68],"notably,":[69],"we":[70],"introduce":[71],"parametrized":[72],"heuristics":[73],"start":[75],"successor":[77],"selection,":[79],"as":[80,82],"well":[81],"mechanism":[84],"to":[85],"construct":[86],"cases":[88],"from":[89],"data":[91],"produced":[92],"during":[93],"search.":[94]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-27T08:22:11.395708","created_date":"2025-10-10T00:00:00"}