{"id":"https://openalex.org/W2926761828","doi":"https://doi.org/10.1145/3297858.3304050","title":"Minotaur","display_name":"Minotaur","publication_year":2019,"publication_date":"2019-04-04","ids":{"openalex":"https://openalex.org/W2926761828","doi":"https://doi.org/10.1145/3297858.3304050","mag":"2926761828"},"language":"en","primary_location":{"id":"doi:10.1145/3297858.3304050","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304050","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304050","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304050","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069728263","display_name":"Abdulrahman Mahmoud","orcid":null},"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":true,"raw_author_name":"Abdulrahman Mahmoud","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032339983","display_name":"Radha Venkatagiri","orcid":null},"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":"Radha Venkatagiri","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109510601","display_name":"Khalique Ahmed","orcid":null},"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":"Khalique Ahmed","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057462458","display_name":"Sa\u0161a Misailov\u00edc","orcid":"https://orcid.org/0000-0001-7319-8845"},"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":"Sasa Misailovic","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"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, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027987862","display_name":"Christopher W. Fletcher","orcid":"https://orcid.org/0000-0002-9995-5995"},"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":"Christopher W. Fletcher","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086111967","display_name":"Sarita V. Adve","orcid":"https://orcid.org/0000-0002-3403-5119"},"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":"Sarita V. Adve","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5069728263"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":1.6867,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.84360813,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1087","last_page":"1103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9952999949455261,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8199324607849121},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6085399985313416},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5986847877502441},{"id":"https://openalex.org/keywords/prioritization","display_name":"Prioritization","score":0.5668727159500122},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4590439200401306},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4450087249279022},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.4279109537601471},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3717525005340576},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35047024488449097},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.32043910026550293},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10861599445343018},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0925697386264801},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.08350798487663269},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.07974588871002197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8199324607849121},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6085399985313416},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5986847877502441},{"id":"https://openalex.org/C2777615720","wikidata":"https://www.wikidata.org/wiki/Q11888847","display_name":"Prioritization","level":2,"score":0.5668727159500122},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4590439200401306},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4450087249279022},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4279109537601471},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3717525005340576},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35047024488449097},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.32043910026550293},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10861599445343018},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0925697386264801},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.08350798487663269},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.07974588871002197},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3297858.3304050","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304050","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304050","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3297858.3304050","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304050","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304050","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.8100000023841858,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1940271464","display_name":null,"funder_award_id":"1320941,1421503,1703637,1725734","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1993931613","display_name":"SHF:  Small: Software-Driven Hardware Resiliency","funder_award_id":"1320941","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4032422751","display_name":null,"funder_award_id":"CCF-1421503","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4563241224","display_name":null,"funder_award_id":"1725734","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4887462507","display_name":null,"funder_award_id":"C-FAR","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G5449669011","display_name":"SHF: Small: Revisiting Assumptions of Regression Testing","funder_award_id":"1421503","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5613224033","display_name":null,"funder_award_id":"STARnet","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G6811296919","display_name":null,"funder_award_id":"C-FAR","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7469296022","display_name":"SHF: Medium: Collaborative Research: Testing in the Era of Approximation","funder_award_id":"1703637","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7752366322","display_name":null,"funder_award_id":"CCF-1725734","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2926761828.pdf","grobid_xml":"https://content.openalex.org/works/W2926761828.grobid-xml"},"referenced_works_count":135,"referenced_works":["https://openalex.org/W35708471","https://openalex.org/W150374354","https://openalex.org/W163074494","https://openalex.org/W220935706","https://openalex.org/W255480450","https://openalex.org/W1486172410","https://openalex.org/W1523125571","https://openalex.org/W1584278023","https://openalex.org/W1811109768","https://openalex.org/W1964679087","https://openalex.org/W1965936844","https://openalex.org/W1972375942","https://openalex.org/W1972649107","https://openalex.org/W1981473264","https://openalex.org/W1985551847","https://openalex.org/W1986905947","https://openalex.org/W2002003432","https://openalex.org/W2010043262","https://openalex.org/W2013280342","https://openalex.org/W2014423307","https://openalex.org/W2014515160","https://openalex.org/W2020217519","https://openalex.org/W2024254950","https://openalex.org/W2036641664","https://openalex.org/W2037760741","https://openalex.org/W2038366891","https://openalex.org/W2042390493","https://openalex.org/W2043194656","https://openalex.org/W2045115736","https://openalex.org/W2047171058","https://openalex.org/W2049451779","https://openalex.org/W2053577778","https://openalex.org/W2099123934","https://openalex.org/W2100866260","https://openalex.org/W2101473122","https://openalex.org/W2101580666","https://openalex.org/W2104677471","https://openalex.org/W2105372251","https://openalex.org/W2105544671","https://openalex.org/W2108557605","https://openalex.org/W2112648765","https://openalex.org/W2114703523","https://openalex.org/W2115081151","https://openalex.org/W2119144962","https://openalex.org/W2121669067","https://openalex.org/W2123907700","https://openalex.org/W2124059836","https://openalex.org/W2125169487","https://openalex.org/W2125427574","https://openalex.org/W2128941141","https://openalex.org/W2131667412","https://openalex.org/W2132362854","https://openalex.org/W2135470160","https://openalex.org/W2135746559","https://openalex.org/W2138264727","https://openalex.org/W2140190241","https://openalex.org/W2142096775","https://openalex.org/W2142883190","https://openalex.org/W2143283746","https://openalex.org/W2144512449","https://openalex.org/W2145021036","https://openalex.org/W2146065717","https://openalex.org/W2147280888","https://openalex.org/W2148162182","https://openalex.org/W2150267144","https://openalex.org/W2155877593","https://openalex.org/W2159889776","https://openalex.org/W2164264749","https://openalex.org/W2165448367","https://openalex.org/W2166293939","https://openalex.org/W2167505017","https://openalex.org/W2169315529","https://openalex.org/W2170224888","https://openalex.org/W2170881177","https://openalex.org/W2187230075","https://openalex.org/W2188276367","https://openalex.org/W2219855155","https://openalex.org/W2237415205","https://openalex.org/W2247093607","https://openalex.org/W2319130110","https://openalex.org/W2324020321","https://openalex.org/W2337485678","https://openalex.org/W2411972054","https://openalex.org/W2507303725","https://openalex.org/W2511027470","https://openalex.org/W2522581075","https://openalex.org/W2526192025","https://openalex.org/W2529578574","https://openalex.org/W2533079733","https://openalex.org/W2561860907","https://openalex.org/W2562388813","https://openalex.org/W2578314903","https://openalex.org/W2605265333","https://openalex.org/W2612733213","https://openalex.org/W2613221718","https://openalex.org/W2613865238","https://openalex.org/W2616028256","https://openalex.org/W2626574314","https://openalex.org/W2626872583","https://openalex.org/W2733970977","https://openalex.org/W2737121650","https://openalex.org/W2746351350","https://openalex.org/W2762967556","https://openalex.org/W2767260595","https://openalex.org/W2769863544","https://openalex.org/W2771142068","https://openalex.org/W2773854165","https://openalex.org/W2783454406","https://openalex.org/W2784150874","https://openalex.org/W2788614599","https://openalex.org/W2789383786","https://openalex.org/W2795359237","https://openalex.org/W2883034956","https://openalex.org/W2883506058","https://openalex.org/W2883542588","https://openalex.org/W2884617624","https://openalex.org/W2886267997","https://openalex.org/W2902078285","https://openalex.org/W2905075051","https://openalex.org/W2971324540","https://openalex.org/W3104740669","https://openalex.org/W3117097129","https://openalex.org/W3120740533","https://openalex.org/W3129393216","https://openalex.org/W3149134903","https://openalex.org/W3200788958","https://openalex.org/W4240237526","https://openalex.org/W4243061752","https://openalex.org/W4246406502","https://openalex.org/W4251945539","https://openalex.org/W4255519882","https://openalex.org/W4256365438","https://openalex.org/W4285719527","https://openalex.org/W4299726553","https://openalex.org/W4376850198"],"related_works":["https://openalex.org/W2476117260","https://openalex.org/W2770531922","https://openalex.org/W1845068655","https://openalex.org/W4321354308","https://openalex.org/W2212955619","https://openalex.org/W3118244000","https://openalex.org/W2290299503","https://openalex.org/W3029851195","https://openalex.org/W3124296310","https://openalex.org/W2183585111"],"abstract_inverted_index":{"With":[0],"the":[1,14,34,71,99,126,157,163,166,172,239],"end":[2],"of":[3,17,75,128,165,174,248],"conventional":[4],"CMOS":[5],"scaling,":[6],"efficient":[7],"resiliency":[8,38,76,86,112,133,222,232],"solutions":[9],"are":[10,24],"needed":[11],"to":[12,44,59,69,92,106,161,178,190,205,218,254],"address":[13],"increased":[15],"likelihood":[16],"hardware":[18],"errors.":[19],"Silent":[20],"data":[21],"corruptions":[22],"(SDCs)":[23],"especially":[25],"harmful":[26],"because":[27],"they":[28,49,243],"can":[29,104],"create":[30],"unacceptable":[31],"output":[32],"without":[33],"user's":[35],"knowledge.":[36],"Several":[37],"analysis":[39,61,87,134,223,233],"techniques":[40,97,228],"have":[41],"been":[42],"proposed":[43],"identify":[45,244],"SDC-causing":[46,250,268],"instructions,":[47],"but":[48,142],"remain":[50],"too":[51],"slow":[52],"for":[53,132,186,238,286],"practical":[54],"use":[55],"and/or":[56],"sacrifice":[57],"accuracy":[58,74],"improve":[60,70],"speed.":[62],"We":[63,212],"develop":[64],"Minotaur,":[65],"a":[66,140,187,220,275],"novel":[67],"toolkit":[68],"speed":[72,191,229,276],"and":[73,108,116,135,182,195],"analysis.":[77,113],"The":[78],"key":[79],"insight":[80],"behind":[81],"Minotaur":[82,114,214],"is":[83],"that":[84],"modern":[85],"has":[88],"many":[89],"conceptual":[90],"similarities":[91],"software":[93,101,121],"testing;":[94],"therefore,":[95],"adapting":[96],"from":[98,120,151],"rich":[100],"testing":[102],"literature":[103],"lead":[105],"principled":[107],"significant":[109],"improvements":[110],"in":[111],"identifies":[115,136],"adapts":[117,171,199],"four":[118],"concepts":[119],"testing:":[122],"1)":[123],"it":[124,146,170,197,217],"introduces":[125],"concept":[127,173],"input":[129,158,203,284],"quality":[130,159],"criteria":[131,160],"PC":[137],"coverage":[138],"as":[139],"simple":[141],"effective":[143],"criterion;":[144],"2)":[145],"creates":[147],"(fast)":[148],"minimized":[149],"inputs":[150,273],"(slow)":[152],"standard":[153],"benchmark":[154],"inputs,":[155],"using":[156],"assess":[162],"goodness":[164],"created":[167],"input;":[168],"3)":[169],"test":[175,200],"case":[176,201],"prioritization":[177,204],"prioritize":[179],"error":[180],"injections":[181],"invoke":[183],"early":[184],"termination":[185],"given":[188],"instruction":[189],"up":[192,230],"error-injection":[193],"campaigns;":[194],"4)":[196],"further":[198],"or":[202],"accelerate":[206],"SDC":[207],"discovery":[208],"across":[209,271],"multiple":[210,272],"inputs.":[211],"evaluate":[213],"by":[215,234,257],"applying":[216],"Approxilyzer,":[219],"state-of-the-art":[221],"tool.":[224],"Minotaur's":[225,260],"first":[226],"three":[227],"Approxilyzer's":[231],"10.3X":[235],"(on":[236,246,279],"average)":[237,247,280],"workloads":[240],"studied.":[241],"Moreover,":[242],"96%":[245],"all":[249,267],"instructions":[251,269],"explored,":[252],"compared":[253],"64%":[255],"identified":[256],"Approxilyzer":[258],"alone.":[259],"fourth":[261],"technique":[262],"(input":[263],"prioritization)":[264],"enables":[265],"identifying":[266],"explored":[270],"at":[274],"2.3X":[277],"faster":[278],"than":[281],"analyzing":[282],"each":[283],"independently":[285],"our":[287],"workloads.":[288]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2019-04-11T00:00:00"}