{"id":"https://openalex.org/W4405270109","doi":"https://doi.org/10.1109/tse.2024.3510912","title":"Detecting Compiler Error Recovery Defects via Program Mutation Exploration","display_name":"Detecting Compiler Error Recovery Defects via Program Mutation Exploration","publication_year":2024,"publication_date":"2024-12-11","ids":{"openalex":"https://openalex.org/W4405270109","doi":"https://doi.org/10.1109/tse.2024.3510912"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3510912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3510912","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5080254489","display_name":"Yixuan Tang","orcid":"https://orcid.org/0000-0002-9618-4697"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yixuan Tang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-9618-4697","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005439960","display_name":"Jingxuan Zhang","orcid":"https://orcid.org/0000-0002-8437-6640"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingxuan Zhang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-8437-6640","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100423958","display_name":"Hui Li","orcid":"https://orcid.org/0000-0003-1923-0669"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Li","raw_affiliation_strings":["School of Software, Dalian University of Technology (DUT), Dalian, China"],"raw_orcid":"https://orcid.org/0000-0003-1923-0669","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology (DUT), Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025184050","display_name":"Zhiqiu Huang","orcid":"https://orcid.org/0000-0001-6843-1892"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqiu Huang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-6843-1892","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002119636","display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["School of Software, Dalian University of Technology (DUT), Dalian, China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology (DUT), Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24713025,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"2","first_page":"389","last_page":"412"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9940999746322632,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9940999746322632,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9926000237464905,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9922000169754028,"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.8527659177780151},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7181330323219299},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5348044633865356},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.4487874507904053},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4432777464389801},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33283814787864685}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8527659177780151},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7181330323219299},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5348044633865356},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.4487874507904053},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4432777464389801},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33283814787864685},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2024.3510912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3510912","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1201573620","display_name":null,"funder_award_id":"62302212","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3427093674","display_name":null,"funder_award_id":"62032004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4361266879","display_name":null,"funder_award_id":"62272225","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4567546224","display_name":null,"funder_award_id":"BK20230877","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322769","display_name":"Natural Science Foundation of Jiangsu Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1965854491","https://openalex.org/W2030405312","https://openalex.org/W2031206015","https://openalex.org/W2094771270","https://openalex.org/W2095445208","https://openalex.org/W2130746431","https://openalex.org/W2138428785","https://openalex.org/W2170737051","https://openalex.org/W2313752879","https://openalex.org/W2370472429","https://openalex.org/W2390518826","https://openalex.org/W2414287720","https://openalex.org/W2530895108","https://openalex.org/W2532737545","https://openalex.org/W2617813225","https://openalex.org/W2747427841","https://openalex.org/W2759550170","https://openalex.org/W2808279976","https://openalex.org/W2895425194","https://openalex.org/W2898582152","https://openalex.org/W2899324569","https://openalex.org/W2904932877","https://openalex.org/W2905627582","https://openalex.org/W2926633993","https://openalex.org/W2954978134","https://openalex.org/W2968370566","https://openalex.org/W2978631110","https://openalex.org/W3000636126","https://openalex.org/W3007855180","https://openalex.org/W3033595121","https://openalex.org/W3045552507","https://openalex.org/W3107362213","https://openalex.org/W3205281171","https://openalex.org/W4220838981","https://openalex.org/W4238083723","https://openalex.org/W4281260410","https://openalex.org/W4285177210","https://openalex.org/W4313563675","https://openalex.org/W4323033692","https://openalex.org/W4384154578","https://openalex.org/W4384302906","https://openalex.org/W4384304801","https://openalex.org/W6604335577","https://openalex.org/W6636510571","https://openalex.org/W6782130387","https://openalex.org/W6789678996"],"related_works":["https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W1172579163","https://openalex.org/W1488300410","https://openalex.org/W1713081424"],"abstract_inverted_index":{"Compiler":[0,43,96],"error":[1,24,81,152,196,240],"recovery":[2,25,82,153,197,241],"diagnostics":[3,26,60,99],"facilitates":[4],"software":[5],"development":[6],"as":[7,73,125,143],"it":[8],"provides":[9],"the":[10,48,67,90,107,137,140,185,230],"possible":[11],"causes":[12],"and":[13,41,115,206,220,235],"suggestions":[14],"on":[15,204,227],"potential":[16],"programming":[17],"errors.":[18],"However,":[19,57],"due":[20],"to":[21,78,134,144,169,177,194,224],"compiler":[22,59,80,151],"bugs,":[23],"could":[27],"be":[28],"erroneous,":[29],"spurious,":[30],"missing,":[31],"or":[32,249],"even":[33],"crashing":[34],"for":[35,95,110,131,149],"mature":[36],"production":[37],"compilers":[38],"like":[39],"GCC":[40,205],"Clang.":[42],"testing":[44,61,193],"is":[45],"one":[46],"of":[47,53,119,128,139,173,232,244],"most":[49],"widely":[50],"used":[51],"ways":[52],"ensuring":[54],"its":[55],"quality.":[56],"existing":[58],"approaches":[62,214],"(e.g.,":[63],"DIPROM)":[64],"only":[65],"consider":[66],"typically":[68],"syntactically":[69],"valid":[70],"test":[71],"programs":[72],"inputs,":[74],"which":[75,245],"are":[76,123],"unlikely":[77],"trigger":[79],"defects.":[83],"Therefore,":[84],"in":[85,181,199,229],"this":[86],"paper,":[87],"we":[88],"propose":[89],"first":[91,105],"mutation":[92,108,175],"based":[93,166],"approach":[94,168],"Error":[97],"Recovery":[98],"Testing,":[100],"called":[101],"CERTest.":[102],"Specifically,":[103],"CERTest":[104,160,189,210,236],"explores":[106],"space":[109],"a":[111,117,126,132,163,171],"given":[112],"seed":[113],"program,":[114],"leverages":[116,191],"series":[118,127],"<i>mutation":[120],"configurations</i>":[121],"(which":[122],"referred":[124],"mutators":[129],"applying":[130],"seed)":[133],"iteratively":[135],"mutate":[136],"structures":[138],"seed,":[141],"so":[142],"generate":[145,178],"error-sensitive":[146,158],"program":[147,179,187],"variants":[148,180],"triggering":[150],"mechanisms.":[154],"To":[155],"effectively":[156],"construct":[157],"structures,":[159],"then":[161],"applies":[162],"novel":[164],"furthest-first":[165],"selection":[167],"select":[170],"set":[172],"representative":[174],"configurations":[176],"each":[182],"iteration.":[183],"With":[184],"generated":[186],"variants,":[188],"finally":[190],"differential":[192],"detect":[195],"defects":[198],"different":[200],"compilers.":[201],"The":[202],"experiments":[203],"Clang":[207],"demonstrate":[208],"that":[209],"outperforms":[211],"five":[212],"state-of-the-art":[213],"(i.e.,":[215],"DIPROM,":[216],"<small>Ccoft</small>,":[217],"<small>Clang-fuzzer</small>,":[218],"AFL++,":[219],"HiCOND)":[221],"by":[222,251],"up":[223],"13.10%<inline-formula><tex-math":[225],"notation=\"LaTeX\">$\\sim$</tex-math></inline-formula>221.61%":[226],"average":[228],"term":[231],"bug-finding":[233],"capability,":[234],"detects":[237],"9":[238],"new":[239],"defects,":[242],"5":[243],"have":[246],"been":[247],"confirmed":[248],"fixed":[250],"developers.":[252]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}