{"id":"https://openalex.org/W2511027470","doi":"https://doi.org/10.1145/2970276.2970361","title":"Evaluating non-adequate test-case reduction","display_name":"Evaluating non-adequate test-case reduction","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2511027470","doi":"https://doi.org/10.1145/2970276.2970361","mag":"2511027470"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2970361","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970361","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090034689","display_name":"Mohammad Amin Alipour","orcid":"https://orcid.org/0000-0002-6479-7202"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mohammad Amin Alipour","raw_affiliation_strings":["Oregon State University, USA"],"affiliations":[{"raw_affiliation_string":"Oregon State University, USA","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081483504","display_name":"August Shi","orcid":"https://orcid.org/0000-0001-8239-3124"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"August Shi","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050311714","display_name":"Rahul Gopinath","orcid":"https://orcid.org/0000-0001-9953-0930"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Gopinath","raw_affiliation_strings":["Oregon State University, USA"],"affiliations":[{"raw_affiliation_string":"Oregon State University, USA","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081289583","display_name":"Darko Marinov","orcid":"https://orcid.org/0000-0001-5023-3492"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Darko Marinov","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026932942","display_name":"Alex Groce","orcid":"https://orcid.org/0000-0003-0273-4668"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Groce","raw_affiliation_strings":["Oregon State University, USA"],"affiliations":[{"raw_affiliation_string":"Oregon State University, USA","institution_ids":["https://openalex.org/I131249849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5090034689"],"corresponding_institution_ids":["https://openalex.org/I131249849"],"apc_list":null,"apc_paid":null,"fwci":6.8816,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.97354781,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"16","last_page":"26"},"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.9998999834060669,"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.9998999834060669,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9986000061035156,"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/reduction","display_name":"Reduction (mathematics)","score":0.6286327242851257},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5550409555435181},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5271320343017578},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4297502338886261},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1440894603729248},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10107561945915222},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.07992637157440186}],"concepts":[{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6286327242851257},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5550409555435181},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5271320343017578},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4297502338886261},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1440894603729248},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10107561945915222},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.07992637157440186},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2970276.2970361","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970361","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"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1556422040","https://openalex.org/W1971137495","https://openalex.org/W1985896931","https://openalex.org/W1992987499","https://openalex.org/W1998393968","https://openalex.org/W2008479535","https://openalex.org/W2013711971","https://openalex.org/W2014515160","https://openalex.org/W2019368525","https://openalex.org/W2024254950","https://openalex.org/W2029500775","https://openalex.org/W2061781275","https://openalex.org/W2063068372","https://openalex.org/W2071952624","https://openalex.org/W2095064458","https://openalex.org/W2106072155","https://openalex.org/W2119717320","https://openalex.org/W2125427574","https://openalex.org/W2125596330","https://openalex.org/W2128011709","https://openalex.org/W2129761255","https://openalex.org/W2144927251","https://openalex.org/W2151704521","https://openalex.org/W2155877593","https://openalex.org/W2170224888","https://openalex.org/W2473248416","https://openalex.org/W3021250941","https://openalex.org/W4244488020","https://openalex.org/W6648752246"],"related_works":["https://openalex.org/W2538049348","https://openalex.org/W3032668683","https://openalex.org/W2381070337","https://openalex.org/W2605403672","https://openalex.org/W4252286421","https://openalex.org/W2096934588","https://openalex.org/W2389260891","https://openalex.org/W2367590023","https://openalex.org/W3205508524","https://openalex.org/W2795237159"],"abstract_inverted_index":{"Given":[0],"two":[1,111],"test":[2,11,20,37,51,59,74,78,92,116,127,142,161,219],"cases,":[3,75,117],"one":[4,7],"larger":[5,50],"and":[6,29,45,130,136,155,186,203],"smaller,":[8],"the":[9,69,99,171,178,197,215],"smaller":[10,19,36],"case":[12,21,128,143,162],"is":[13,25,30,144,163,210],"preferred":[14],"for":[15,33,120,188],"many":[16,218],"purposes.":[17],"A":[18],"usually":[22],"runs":[23],"faster,":[24],"easier":[26],"to":[27,41,146,165,212],"understand,":[28],"more":[31],"convenient":[32],"debugging.":[34],"However,":[35],"cases":[38,220],"also":[39],"tend":[40],"cover":[42],"less":[43],"code":[44,63,83,100],"detect":[46],"fewer":[47],"faults":[48],"than":[49,77],"cases.":[52],"Whereas":[53],"traditional":[54],"research":[55],"focused":[56],"on":[57],"reducing":[58,72,91],"suites":[60,93],"while":[61,80,221],"preserving":[62,82,97,223],"coverage,":[64],"recent":[65,86],"work":[66,87],"has":[67,88],"introduced":[68],"idea":[70],"of":[71,109,115,124,151,170,184,217,225],"individual":[73],"rather":[76],"suites,":[79],"still":[81,222],"coverage.":[84,101],"Other":[85],"proposed":[89],"non-adequately":[90],"by":[94],"not":[95],"even":[96],"all":[98],"This":[102],"paper":[103],"empirically":[104],"evaluates":[105,137],"a":[106,121,141,160],"new":[107],"combination":[108],"these":[110],"ideas,":[112],"non-adequate":[113],"reduction":[114,139,158,179],"which":[118],"allows":[119],"wide":[122],"range":[123],"trade-offs":[125,180],"between":[126],"size":[129,216],"fault":[131],"detection.":[132],"Our":[133],"study":[134],"introduces":[135],"C%-coverage":[138],"(where":[140,159],"reduced":[145,164],"retain":[147],"at":[148,167],"least":[149,168],"C%":[150,185],"its":[152],"original":[153],"coverage)":[154],"N":[156,169,187],"-mutant":[157],"kill":[166],"mutants":[172],"it":[173,209],"originally":[174],"killed).":[175],"We":[176],"evaluate":[177],"with":[181],"varying":[182],"values":[183],"four":[189],"real-world":[190],"C":[191],"projects:":[192],"Mozilla\u2019s":[193],"SpiderMonkey":[194],"JavaScript":[195],"engine,":[196],"YAFFS2":[198],"flash":[199],"file":[200],"system,":[201],"Grep,":[202],"Gzip.":[204],"The":[205],"results":[206],"show":[207],"that":[208],"possible":[211],"greatly":[213],"reduce":[214],"much":[224],"their":[226],"fault-detection":[227],"capability.":[228]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}