{"id":"https://openalex.org/W2516035374","doi":"https://doi.org/10.1145/2970276.2970335","title":"Greedy combinatorial test case generation using unsatisfiable cores","display_name":"Greedy combinatorial test case generation using unsatisfiable cores","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2516035374","doi":"https://doi.org/10.1145/2970276.2970335","mag":"2516035374"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2970335","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970335","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199093","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003947273","display_name":"Akihisa Yamada","orcid":"https://orcid.org/0000-0001-8872-2240"},"institutions":[{"id":"https://openalex.org/I190249584","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659","country_code":"AT","type":"education","lineage":["https://openalex.org/I190249584"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Akihisa Yamada","raw_affiliation_strings":["University of Innsbruck, Austria"],"affiliations":[{"raw_affiliation_string":"University of Innsbruck, Austria","institution_ids":["https://openalex.org/I190249584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082596567","display_name":"Armin Biere","orcid":"https://orcid.org/0000-0001-7170-9242"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Armin Biere","raw_affiliation_strings":["JKU Linz, Austria"],"affiliations":[{"raw_affiliation_string":"JKU Linz, Austria","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063347761","display_name":"Cyrille Artho","orcid":"https://orcid.org/0000-0002-3656-1614"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Cyrille Artho","raw_affiliation_strings":["AIST, Japan"],"affiliations":[{"raw_affiliation_string":"AIST, Japan","institution_ids":["https://openalex.org/I73613424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031476425","display_name":"Takashi Kitamura","orcid":"https://orcid.org/0000-0002-8903-3161"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takashi Kitamura","raw_affiliation_strings":["AIST, Japan"],"affiliations":[{"raw_affiliation_string":"AIST, Japan","institution_ids":["https://openalex.org/I73613424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011629857","display_name":"Eun-Hye Choi","orcid":"https://orcid.org/0000-0001-9339-8107"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Eun-Hye Choi","raw_affiliation_strings":["AIST, Japan"],"affiliations":[{"raw_affiliation_string":"AIST, Japan","institution_ids":["https://openalex.org/I73613424"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003947273"],"corresponding_institution_ids":["https://openalex.org/I190249584"],"apc_list":null,"apc_paid":null,"fwci":6.2536,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.96796339,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"614","last_page":"624"},"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.9994000196456909,"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.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6384950280189514},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5634645223617554},{"id":"https://openalex.org/keywords/greedy-algorithm","display_name":"Greedy algorithm","score":0.5063363313674927},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.42560523748397827},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30834418535232544},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11866137385368347}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6384950280189514},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5634645223617554},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.5063363313674927},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.42560523748397827},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30834418535232544},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11866137385368347},{"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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2970276.2970335","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970335","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:kth-199093","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199093","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:kth-199093","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199093","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6250585026","display_name":null,"funder_award_id":"A-STEP grant AS2524001H","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"}],"funders":[{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W128869332","https://openalex.org/W141765906","https://openalex.org/W616055941","https://openalex.org/W1122166571","https://openalex.org/W1505570902","https://openalex.org/W1518705996","https://openalex.org/W1531687740","https://openalex.org/W1660805406","https://openalex.org/W1787074469","https://openalex.org/W1979922504","https://openalex.org/W1995057189","https://openalex.org/W1995563955","https://openalex.org/W1995869236","https://openalex.org/W2009443992","https://openalex.org/W2028441203","https://openalex.org/W2046239089","https://openalex.org/W2046482086","https://openalex.org/W2052602498","https://openalex.org/W2057361103","https://openalex.org/W2066672703","https://openalex.org/W2075699551","https://openalex.org/W2076540363","https://openalex.org/W2106872385","https://openalex.org/W2107470986","https://openalex.org/W2115910430","https://openalex.org/W2122796178","https://openalex.org/W2126717908","https://openalex.org/W2128204165","https://openalex.org/W2137790472","https://openalex.org/W2161095620","https://openalex.org/W2171570823","https://openalex.org/W2245333128","https://openalex.org/W2328064123","https://openalex.org/W2335698967","https://openalex.org/W2336925918","https://openalex.org/W4252684946","https://openalex.org/W6701800711"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2899084033","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2748952813","https://openalex.org/W1531601525"],"abstract_inverted_index":{"Combinatorial":[0],"testing":[1,153],"aims":[2],"at":[3],"covering":[4],"the":[5,43,69,79,107,131,144],"interactions":[6],"of":[7,71,81,146],"parameters":[8],"in":[9,42,84,130,149],"a":[10,38,53,61,102,116],"system":[11],"under":[12],"test,":[13],"while":[14,91],"some":[15],"combinations":[16],"may":[17],"be":[18],"forbidden":[19,32,57],"by":[20,87],"given":[21],"constraints":[22,90],"(forbidden":[23],"tuples).":[24],"In":[25],"this":[26,49],"paper,":[27],"we":[28,51,122,137],"illustrate":[29],"that":[30,105,139],"such":[31],"tuples":[33,58],"correspond":[34],"to":[35,55,100,114,119],"unsatisfiable":[36,111],"cores,":[37],"widely":[39],"understood":[40],"notion":[41],"SAT":[44,73,85,127,132],"solving":[45,74,86],"community.":[46],"Based":[47],"on":[48],"observation,":[50],"propose":[52],"technique":[54],"detect":[56],"lazily":[59],"during":[60],"greedy":[62,151],"test":[63,94,103],"case":[64,104],"generation,":[65],"which":[66],"significantly":[67,142],"reduces":[68],"number":[70],"required":[72],"calls.":[75],"We":[76],"further":[77],"reduce":[78],"amount":[80],"time":[82],"spent":[83],"essentially":[88],"ignoring":[89,120],"constructing":[92],"each":[93],"case,":[95],"but":[96],"then":[97],"\u201camending\u201d":[98],"it":[99],"obtain":[101],"satisfies":[106],"constraints,":[108,121],"again":[109],"using":[110],"cores.":[112],"Finally,":[113],"complement":[115],"disturbance":[117],"due":[118],"implement":[123],"an":[124],"efficient":[125],"approximative":[126],"checking":[128],"function":[129],"solver":[133],"Lingeling.":[134],"Through":[135],"experiments":[136],"verify":[138],"our":[140,150],"approach":[141],"improves":[143],"efficiency":[145],"constraint":[147],"handling":[148],"combinatorial":[152],"algorithm.":[154]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}