{"id":"https://openalex.org/W7166644578","doi":"https://doi.org/10.1145/3797128","title":"Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation","display_name":"Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation","publication_year":2026,"publication_date":"2026-06-30","ids":{"openalex":"https://openalex.org/W7166644578","doi":"https://doi.org/10.1145/3797128"},"language":"en","primary_location":{"id":"doi:10.1145/3797128","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797128","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3797128","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101410200","display_name":"Zixi Liu","orcid":"https://orcid.org/0000-0002-3271-7255"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zixi Liu","raw_affiliation_strings":["Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-3271-7255","affiliations":[{"raw_affiliation_string":"Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043981758","display_name":"Yang Feng","orcid":"https://orcid.org/0000-0002-7477-3642"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Feng","raw_affiliation_strings":["Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-7477-3642","affiliations":[{"raw_affiliation_string":"Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139708166","display_name":"Jialiang Jiang","orcid":"https://orcid.org/0009-0002-8452-3281"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jialiang Jiang","raw_affiliation_strings":["Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0002-8452-3281","affiliations":[{"raw_affiliation_string":"Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100331400","display_name":"Baowen Xu","orcid":"https://orcid.org/0000-0001-7743-1296"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Baowen Xu","raw_affiliation_strings":["Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-7743-1296","affiliations":[{"raw_affiliation_string":"Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.82724252,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"FSE","first_page":"723","last_page":"744"},"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.9300000071525574,"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.9300000071525574,"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/T10126","display_name":"Logic, programming, and type systems","score":0.022600000724196434,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.008200000040233135,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/correctness","display_name":"Correctness","score":0.8665000200271606},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.6761000156402588},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.623199999332428},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.45750001072883606},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.38679999113082886},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.3856000006198883},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.37540000677108765}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8665000200271606},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8043000102043152},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.6761000156402588},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.623199999332428},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.532800018787384},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.45750001072883606},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.38679999113082886},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.3856000006198883},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.37540000677108765},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33739998936653137},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.323199987411499},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27079999446868896},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.26579999923706055},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.2612000107765198},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.2599000036716461},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.25360000133514404},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3797128","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797128","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3797128","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797128","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2816693938","display_name":null,"funder_award_id":"62372225","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2982775919","display_name":null,"funder_award_id":"2024YFB4506400","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W2013892605","https://openalex.org/W2390518826","https://openalex.org/W2996725384","https://openalex.org/W3159691394","https://openalex.org/W3173198614","https://openalex.org/W3205281171","https://openalex.org/W4281773296","https://openalex.org/W4284670340","https://openalex.org/W4379537202","https://openalex.org/W4384154483","https://openalex.org/W4389162117","https://openalex.org/W4391558434","https://openalex.org/W4394769441","https://openalex.org/W4394871787","https://openalex.org/W4402457453","https://openalex.org/W4403223316","https://openalex.org/W4403223513","https://openalex.org/W4403536411","https://openalex.org/W4405703843","https://openalex.org/W4407723281","https://openalex.org/W4407950506","https://openalex.org/W4408324996","https://openalex.org/W4411552217","https://openalex.org/W4414978671"],"related_works":[],"abstract_inverted_index":{"Rust":[0,42,204],"is":[1],"a":[2,191,244,261],"modern":[3],"systems":[4],"programming":[5],"language":[6],"that":[7,30,55,80,195],"ensures":[8],"memory":[9],"safety":[10],"through":[11],"unique":[12],"mechanisms,":[13],"including":[14],"ownership,":[15],"borrowing,":[16],"and":[17,48,96,138,142,164,199,210,224,260,271],"lifetime":[18],"annotations.":[19],"These":[20],"features":[21],"prevent":[22],"critical":[23],"vulnerabilities":[24],"but":[25],"also":[26],"impose":[27],"strict":[28],"constraints":[29],"many":[31],"developers":[32,137],"find":[33],"difficult":[34],"to":[35,149,185,206],"understand.":[36],"To":[37,169],"mitigate":[38],"this":[39,171,174],"challenge,":[40],"the":[41,75,93,105,162,213,269],"compiler,":[43],"rustc,":[44],"provides":[45],"rich":[46],"diagnostics":[47,209],"fix":[49,127,278],"suggestions.":[50,168,188,279],"However,":[51],"recent":[52],"studies":[53],"reveal":[54],"diagnostic":[56,107,121],"issues":[57],"account":[58],"for":[59,159,275],"about":[60],"20%":[61],"of":[62,69,82,120,166,215,226,234,246,255,273],"all":[63,233],"reported":[64],"rustc":[65,150,240,247],"bugs.":[66],"Our":[67],"analysis":[68],"rustc's":[70,126,140,187,256,277],"suggestion":[71,263],"bugs":[72,124],"fixed":[73],"over":[74],"past":[76],"three":[77],"years":[78],"shows":[79],"most":[81],"them":[83,227,235],"originated":[84],"from":[85,101],"errors":[86,201],"in":[87,104,125,143,173],"Rust-specific":[88],"core":[89,257],"modules,":[90],"such":[91],"as":[92,133],"type":[94],"checker":[95],"borrow":[97],"checker,":[98],"rather":[99],"than":[100],"simple":[102],"mistakes":[103],"general":[106],"logic,":[108],"like":[109],"suggesting":[110],"an":[111,179],"incorrect":[112],"variable":[113],"name":[114],"or":[115,231],"mismatched":[116],"parentheses.":[117],"The":[118],"impact":[119],"issues,":[122],"especially":[123],"suggestion,":[128],"should":[129],"not":[130],"be":[131],"underestimated,":[132],"they":[134],"can":[135],"mislead":[136],"reduce":[139],"usability,":[141],"severe":[144],"cases":[145],"may":[146],"even":[147],"lead":[148],"crashes.":[151],"Existing":[152],"testing":[153,181,248,276],"tools,":[154,250],"however,":[155],"provide":[156],"little":[157],"support":[158],"systematically":[160],"evaluating":[161],"correctness":[163,214],"reliability":[165],"these":[167],"address":[170],"gap,":[172],"paper,":[175],"we":[176],"present":[177],"SugBreaker,":[178],"automated":[180],"framework":[182],"specifically":[183],"designed":[184],"validate":[186],"We":[189],"propose":[190],"constraint-violation-guided":[192],"mutation":[193],"approach":[194],"injects":[196],"type-related,":[197],"borrow-related,":[198],"lifetime-related":[200],"into":[202],"valid":[203],"programs":[205],"trigger":[207,264],"compiler":[208],"iteratively":[211],"verify":[212],"suggested":[216],"fixes.":[217],"SugBreaker":[218,251,274],"has":[219],"already":[220],"detected":[221],"12":[222],"bugs,":[223],"11":[225],"have":[228],"been":[229],"confirmed":[230],"fixed;":[232],"are":[236],"triggered":[237],"by":[238],"different":[239],"error":[241],"messages.Compared":[242],"with":[243],"series":[245],"baseline":[249],"achieves":[252],"broader":[253],"coverage":[254],"checking":[258],"modules":[259],"higher":[262],"rate,":[265],"which":[266],"further":[267],"confirms":[268],"effectiveness":[270],"efficiency":[272]},"counts_by_year":[],"updated_date":"2026-07-02T06:12:58.138171","created_date":"2026-07-01T00:00:00"}