{"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":{"value":2495,"currency":"USD","value_usd":2495},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20720173,"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":{"grobid_xml":false,"pdf":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,150,194,235],"recovery":[2,25,82,151,195,236],"diagnostics":[3,26,60,99],"facilitates":[4],"software":[5],"development":[6],"as":[7,73,123,141],"it":[8],"provides":[9],"the":[10,48,67,90,107,135,138,183,225],"possible":[11],"causes":[12],"and":[13,41,115,204,216,230],"suggestions":[14],"on":[15,202,222],"potential":[16],"programming":[17],"errors.":[18],"However,":[19,57],"due":[20],"to":[21,78,132,142,167,175,192,220],"compiler":[22,59,80,149],"bugs,":[23],"could":[27],"be":[28],"erroneous,":[29],"spurious,":[30],"missing,":[31],"or":[32,244],"even":[33],"crashing":[34],"for":[35,95,110,129,147],"mature":[36],"production":[37],"compilers":[38],"like":[39],"GCC":[40,203],"Clang.":[42],"testing":[44,61,191],"is":[45],"one":[46],"of":[47,53,126,137,171,227,239],"most":[49],"widely":[50],"used":[51],"ways":[52],"ensuring":[54],"its":[55],"quality.":[56],"existing":[58],"approaches":[62,212],"(e.g.,":[63],"DIPROM)":[64],"only":[65],"consider":[66],"typically":[68],"syntactically":[69],"valid":[70],"test":[71],"programs":[72],"inputs,":[74],"which":[75,240],"are":[76,121],"unlikely":[77],"trigger":[79],"defects.":[83],"Therefore,":[84],"in":[85,179,197,224],"this":[86],"paper,":[87],"we":[88],"propose":[89],"first":[91,105],"mutation":[92,108,173],"based":[93,164],"approach":[94,166],"Error":[97],"Recovery":[98],"Testing,":[100],"called":[101],"CERTest.":[102],"Specifically,":[103],"CERTest":[104,158,187,208,231],"explores":[106],"space":[109],"a":[111,117,124,130,161,169],"given":[112],"seed":[113],"program,":[114],"leverages":[116,189],"series":[118,125],"ofmutation":[119],"configurations(which":[120],"referred":[122],"mutators":[127],"applying":[128],"seed)":[131],"iteratively":[133],"mutate":[134],"structures":[136],"seed,":[139],"so":[140],"generate":[143,176],"error-sensitive":[144,156],"program":[145,177,185],"variants":[146,178],"triggering":[148],"mechanisms.":[152],"To":[153],"effectively":[154],"construct":[155],"structures,":[157],"then":[159],"applies":[160],"novel":[162],"furthest-first":[163],"selection":[165],"select":[168],"set":[170],"representative":[172],"configurations":[174],"each":[180],"iteration.":[181],"With":[182],"generated":[184],"variants,":[186],"finally":[188],"differential":[190],"detect":[193],"defects":[196],"different":[198],"compilers.":[199],"The":[200],"experiments":[201],"Clang":[205],"demonstrate":[206],"that":[207],"outperforms":[209],"five":[210],"state-of-the-art":[211],"(i.e.,":[213],"DIPROM,Ccoft,Clang-fuzzer,":[214],"AFL++,":[215],"HiCOND)":[217],"by":[218,246],"up":[219],"13.10%$\\sim$221.61%":[221],"average":[223],"term":[226],"bug-finding":[228],"capability,":[229],"detects":[232],"9":[233],"new":[234],"defects,":[237],"5":[238],"have":[241],"been":[242],"confirmed":[243],"fixed":[245],"developers.":[247]},"counts_by_year":[],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}