{"id":"https://openalex.org/W2586688512","doi":"https://doi.org/10.1145/3012281","title":"Minimizing Test Suites with Unfoldings of Multithreaded Programs","display_name":"Minimizing Test Suites with Unfoldings of Multithreaded Programs","publication_year":2017,"publication_date":"2017-02-03","ids":{"openalex":"https://openalex.org/W2586688512","doi":"https://doi.org/10.1145/3012281","mag":"2586688512"},"language":"en","primary_location":{"id":"doi:10.1145/3012281","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3012281","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001454502","display_name":"Olli Saarikivi","orcid":"https://orcid.org/0000-0001-7596-4734"},"institutions":[{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]},{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Olli Saarikivi","raw_affiliation_strings":["Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland"],"affiliations":[{"raw_affiliation_string":"Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland","institution_ids":["https://openalex.org/I32943570","https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085421453","display_name":"Hern\u00e1n Ponce-de-Le\u00f3n","orcid":"https://orcid.org/0000-0002-4225-8830"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]},{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Hern\u00e1n Ponce-De-Le\u00f3n","raw_affiliation_strings":["Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland"],"affiliations":[{"raw_affiliation_string":"Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland","institution_ids":["https://openalex.org/I32943570","https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015980185","display_name":"Kari K\u00e4hk\u00f6nen","orcid":null},"institutions":[{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]},{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Kari K\u00e4hk\u00f6nen","raw_affiliation_strings":["Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland"],"affiliations":[{"raw_affiliation_string":"Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland","institution_ids":["https://openalex.org/I32943570","https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078732211","display_name":"Keijo Heljanko","orcid":"https://orcid.org/0000-0002-4547-2701"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]},{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Keijo Heljanko","raw_affiliation_strings":["Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland"],"affiliations":[{"raw_affiliation_string":"Aalto University and Helsinki Institute for Information Technology HIIT, Aalto, Finland","institution_ids":["https://openalex.org/I32943570","https://openalex.org/I9927081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090378914","display_name":"Javier Esparza","orcid":"https://orcid.org/0000-0001-9862-4919"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Javier Esparza","raw_affiliation_strings":["Fakult\u00e4t f\u00fcr informatik, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"],"affiliations":[{"raw_affiliation_string":"Fakult\u00e4t f\u00fcr informatik, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5001454502"],"corresponding_institution_ids":["https://openalex.org/I32943570","https://openalex.org/I9927081"],"apc_list":null,"apc_paid":null,"fwci":1.0176,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.76796157,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"16","issue":"2","first_page":"1","last_page":"24"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8957960605621338},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7877638339996338},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5978044271469116},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5342134237289429},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.41196611523628235},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40685510635375977},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32892149686813354},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11430203914642334},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.06354323029518127}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8957960605621338},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7877638339996338},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5978044271469116},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5342134237289429},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.41196611523628235},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40685510635375977},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32892149686813354},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11430203914642334},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06354323029518127},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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":1,"locations":[{"id":"doi:10.1145/3012281","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3012281","pdf_url":null,"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":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G725991112","display_name":null,"funder_award_id":"277522","funder_id":"https://openalex.org/F4320321108","funder_display_name":"Academy of Finland"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321108","display_name":"Academy of Finland","ror":"https://ror.org/05k73zm37"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W4162426","https://openalex.org/W132066225","https://openalex.org/W223068689","https://openalex.org/W1510813661","https://openalex.org/W1525816981","https://openalex.org/W1529497146","https://openalex.org/W1545832995","https://openalex.org/W1568729458","https://openalex.org/W1574570499","https://openalex.org/W1719093023","https://openalex.org/W1965237160","https://openalex.org/W1970326465","https://openalex.org/W1991052229","https://openalex.org/W2008078972","https://openalex.org/W2027131958","https://openalex.org/W2029571740","https://openalex.org/W2046112356","https://openalex.org/W2093709900","https://openalex.org/W2096449544","https://openalex.org/W2165379892","https://openalex.org/W2169870841","https://openalex.org/W2206595187","https://openalex.org/W2296019735","https://openalex.org/W2353662026","https://openalex.org/W2750224558","https://openalex.org/W2911806870","https://openalex.org/W2913376619","https://openalex.org/W2964156448","https://openalex.org/W2977679477","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W2280422768","https://openalex.org/W3143197806","https://openalex.org/W4252555497","https://openalex.org/W3121175838","https://openalex.org/W3016293053","https://openalex.org/W2401723157","https://openalex.org/W2952904874","https://openalex.org/W4389302559","https://openalex.org/W1690653314","https://openalex.org/W4379165197"],"abstract_inverted_index":{"This":[0],"article":[1,25],"focuses":[2],"on":[3,12,15,73],"computing":[4],"minimal":[5,35,47,93],"test":[6,16,36,48,94],"suites":[7,37,49,95],"for":[8,19,66,96],"multithreaded":[9,20],"programs.":[10],"Based":[11],"previous":[13],"work":[14],"case":[17],"generation":[18],"programs":[21],"using":[22],"unfoldings,":[23],"this":[24,28,67],"shows":[26],"how":[27],"unfolding":[29],"can":[30],"be":[31,53],"used":[32],"to":[33,52,90],"generate":[34],"covering":[38],"all":[39],"local":[40],"states":[41],"of":[42,58],"the":[43,56,59,78,92],"program.":[44],"Generating":[45],"such":[46],"is":[50],"shown":[51],"NP-complete":[54],"in":[55,83],"size":[57],"unfolding.":[60],"We":[61],"propose":[62],"an":[63],"SMT":[64],"encoding":[65],"problem":[68],"and":[69],"two":[70],"methods":[71,89],"based":[72],"heuristics":[74],"which":[75],"only":[76],"approximate":[77],"solution,":[79],"but":[80],"scale":[81],"better":[82],"practice.":[84],"Finally,":[85],"we":[86],"apply":[87],"our":[88],"compute":[91],"several":[97],"benchmarks.":[98]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}