{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:11:03Z","timestamp":1784200263000,"version":"3.55.0"},"reference-count":73,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202040, 62322208, and 12411530122"],"award-info":[{"award-number":["62202040, 62322208, and 12411530122"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministry of Education, Singapore, under its Academic Research Fund Tier 2","award":["T2EP20222-0037"],"award-info":[{"award-number":["T2EP20222-0037"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,10,9]]},"abstract":"<jats:p>C++ is a system-level programming language for modern software development, which supports multiple programming paradigms, including object-oriented, generic, and functional programming. The intrinsic complexity of these paradigms and their interactions grants C++ powerful expressiveness while posing significant challenges for compilers in correctly implementing its type system. A type system encompasses various aspects such as type inference, type checking, subtyping, type conversions, generics, scoping, and binding. However, systematic testing of the type systems of C++ compilers remains largely underexplored in existing studies.<\/jats:p>\n                  <jats:p>\n                    In this work, we present TyMut, the first approach specifically designed to test the C++ type system. TyMut is a mutation-based compiler fuzzer equipped with advanced type-driven mutation operators, carefully crafted to target intricate type-related features such as template generics, type conversions, and inheritance. Beyond differential testing, TyMut introduces enhanced test oracles through a\n                    <jats:italic toggle=\"yes\">must<\/jats:italic>\n                    analysis that partially confirms the validity of generated programs. Specifically, mutation operators are classified into\n                    <jats:italic toggle=\"yes\">well-formed<\/jats:italic>\n                    and\n                    <jats:italic toggle=\"yes\">not-well-formed<\/jats:italic>\n                    : Programs generated by well-formed mutation operators are\n                    <jats:italic toggle=\"yes\">valid<\/jats:italic>\n                    and\n                    <jats:italic toggle=\"yes\">must be accepted<\/jats:italic>\n                    by compilers. Programs generated by not-well-formed operators are validated against a set of\n                    <jats:italic toggle=\"yes\">well-formedness rules<\/jats:italic>\n                    . Any violation indicates the program is invalid and must be rejected. For programs that pass the rules but lack a definitive oracle, TyMut applies differential testing to identify behavioral inconsistencies across compilers.\n                  <\/jats:p>\n                  <jats:p>\n                    The testing campaign took about 32 hours to generate and test 250584 programs. The\n                    <jats:italic toggle=\"yes\">must<\/jats:italic>\n                    analysis provides definite test oracles for nearly 80% of all generated programs. TyMut uncovered 102 bugs in the recent versions of GCC and Clang, with 56 confirmed as new bugs by compiler developers. Among the confirmed bugs, 26 of them cause compiler crashes, and more than 50% cause miscompilation. Additionally, 7 of them had remained hidden for over 20 years, 22 for over 10 years, and 39 for over 5 years. One long-standing bug discovered by TyMut was later confirmed as the root cause of a real-world issue in TensorFlow. Before submitting this paper, 13 bugs were fixed, most of which were fixed within 60 days. Notably, some unconfirmed bugs have led to in-depth discussions among developers. For instance, one bug led a compiler developer to submit a new issue to the C++ language standard, showing that we uncovered ambiguities in the language specification.\n                  <\/jats:p>","DOI":"10.1145\/3763094","type":"journal-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T08:51:31Z","timestamp":1759999891000},"page":"1232-1260","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Fuzzing C++ Compilers via Type-Driven Mutation"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7944-9182","authenticated-orcid":false,"given":"Bo","family":"Wang","sequence":"first","affiliation":[{"name":"Beijing Jiaotong University, Beijing, China"},{"name":"Beijing Key Laboratory of Traffic Data Mining and Embodied Intelligence, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0721-2943","authenticated-orcid":false,"given":"Chong","family":"Chen","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7193-0087","authenticated-orcid":false,"given":"Ming","family":"Deng","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3056-9962","authenticated-orcid":false,"given":"Junjie","family":"Chen","sequence":"additional","affiliation":[{"name":"Tianjin University, Tianjin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2565-7769","authenticated-orcid":false,"given":"Xing","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5143-3645","authenticated-orcid":false,"given":"Youfang","family":"Lin","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University - Beijing Key Laboratory of Traffic Data Mining and Embodied Intelligence, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8295-303X","authenticated-orcid":false,"given":"Dan","family":"Hao","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3545-1392","authenticated-orcid":false,"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Bachir Bendrissou Cristian Cadar and Alastair F Donaldson. 2024. Grammar Mutation for Testing Input Parsers. ACM Transactions on Software Engineering and Methodology (2024). doi:10.1145\/3708517","DOI":"10.1145\/3708517"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3485500"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Stefanos Chaliasos Thodoris Sotiropoulos Diomidis Spinellis Arthur Gervais Benjamin Livshits and Dimitris Mitropoulos. 2022. Finding typing compiler bugs. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 183\u2013198. doi:10.1145\/3519939.3523427","DOI":"10.1145\/3519939.3523427"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Junjie Chen Wenxiang Hu Dan Hao Yingfei Xiong Hongyu Zhang Lu Zhang and Bing Xie. 2016. An empirical comparison of compiler testing techniques. In Proceedings of the 38th International Conference on Software Engineering. 180\u2013190. doi:10.1145\/2884781.2884878","DOI":"10.1145\/2884781.2884878"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00172"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00037"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-023-4127-5"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3705308"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Alastair F Donaldson Paul Thomson Vasyl Teliman Stefano Milizia Andr\u00e9 Perez Maselco and Antoni Karpi\u0144ski. 2021. Test-case reduction and deduplication almost for free with transformation-based compiler testing. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 1017\u20131032. doi:10.1145\/3453483.3454092","DOI":"10.1145\/3453483.3454092"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Karine Even-Mendoza Cristian Cadar and Alastair F Donaldson. 2020. Closer to the edge: Testing compilers more thoroughly by being less conservative about undefined behaviour. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering. 1219\u20131223. doi:10.1145\/3324884.3418933","DOI":"10.1145\/3324884.3418933"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10146-1"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Karine Even-Mendoza Arindam Sharma Alastair F Donaldson and Cristian Cadar. 2023. GrayC: Greybox Fuzzing of Compilers and Analysers for C. (2023). doi:10.1145\/3597926.3598130","DOI":"10.1145\/3597926.3598130"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Fengjuan Gao Hongyu Chen Yuewei Zhou and Ke Wang. 2024. Shoot Yourself in the Foot-Efficient Code Causes Inefficiency in Compiler Optimizations. In Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering. 1846\u20131857. doi:10.1145\/3691620.3695548","DOI":"10.1145\/3691620.3695548"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00175"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","unstructured":"C\u0103lin Georgescu Mitchell Olsthoorn Pouria Derakhshanfar Marat Akhin and Annibale Panichella. 2024. Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. 197\u2013207. doi:10.1145\/3663529.3663864","DOI":"10.1145\/3663529.3663864"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3058671"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","unstructured":"George Klees Andrew Ruef Benji Cooper Shiyi Wei and Michael Hicks. 2018. Evaluating fuzz testing. In Proceedings of the 2018 ACM SIGSAC conference on computer and communications security. 2123\u20132138. doi:10.1145\/3243734.3243804","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814319"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Cong Li Yanyan Jiang Chang Xu and Zhendong Su. 2023. Validating JIT Compilers via Compilation Space Exploration. In Proceedings of the 29th Symposium on Operating Systems Principles. 66\u201379. doi:10.1145\/3715102","DOI":"10.1145\/3715102"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3656386"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","unstructured":"E. Liu S. Xu and D. Lie. 2023. FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1061\u20131072. doi:10.1109\/ASE56229.2023.00100","DOI":"10.1109\/ASE56229.2023.00100"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","unstructured":"Jiawei Liu Jinkun Lin Fabian Ruffy Cheng Tan Jinyang Li Aurojit Panda and Lingming Zhang. 2023. Nnsmith: Generating diverse and valid test cases for deep learning compilers. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems Volume 2. 530\u2013543. doi:10.1145\/3575693.3575707","DOI":"10.1145\/3575693.3575707"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3591295"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3360581"},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","unstructured":"Xianfei Ou Cong Li Yanyan Jiang and Chang Xu. 2024. The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators. ASPLOS. doi:10.1145\/3622781.3674171","DOI":"10.1145\/3622781.3674171"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3591240"},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00137"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71500-7_14"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","unstructured":"Mayank Sharma Pingshi Yu and Alastair F Donaldson. 2023. RustSmith: Random Differential Compiler Testing for Rust. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. 1483\u20131486. doi:10.1145\/3597926.3604919","DOI":"10.1145\/3597926.3604919"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3632904"},{"key":"e_1_3_1_44_2","unstructured":"Bjarne Stroustrup. 2013. The C++ Programming Language."},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","unstructured":"Chengnian Sun Vu Le and Zhendong Su. 2016. Finding and analyzing compiler warning defects. In Proceedings of the 38th International Conference on Software Engineering. 203\u2013213. doi:10.1145\/2884781.2884879","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","unstructured":"Chenyao Suo Junjie Chen Shuang Liu Jiajun Jiang Yingquan Zhao and Jianrong Wang. 2024. Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 1287\u20131299. doi:10.1145\/3650212.3680360","DOI":"10.1145\/3650212.3680360"},{"key":"e_1_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2022.3171220"},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","unstructured":"Bo Wang Chong Chen Junjie Chen Bowen Xu Chen Ye Youfang Lin Guoliang Dong and Jun Sun. 2025. A Comprehensive Study of OOP-Related Bugs in C++ Compilers. IEEE Transactions on Software Engineering (2025). doi:10.1109\/TSE.2025.3566490","DOI":"10.1109\/TSE.2025.3566490"},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","unstructured":"Bo Wang Chong Chen Ming Deng Junjie Chen Xing Zhang Youfang Lin Dan Hao and Jun Sun. 2025. The Artifact of TyMut. doi:10.5281\/zenodo.15749617","DOI":"10.5281\/zenodo.15749617"},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","unstructured":"Bo Wang Mingda Chen Youfang Lin Mark Harman Mike Papadakis and Jie M Zhang. 2024. A Comprehensive Study on Large Language Models for Mutation Testing. arXiv preprint arXiv:2406.09843 (2024). doi:10.48550\/arXiv.2406.09843","DOI":"10.48550\/arXiv.2406.09843"},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678827"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","unstructured":"Bo Wang Pengyang Wang Chong Chen Qi Sun Jieke Shi Chengran Yang Ming Deng Youfang Lin Zhou Yang and David Lo. 2025. Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports. arXiv preprint arXiv:2507.19275 (2025). doi:10.48550\/arXiv.2507.19275","DOI":"10.48550\/arXiv.2507.19275"},{"key":"e_1_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1905"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","unstructured":"Bo Wang Yingfei Xiong Yangqingwei Shi Lu Zhang and Dan Hao. 2017. Faster mutation analysis via equivalence modulo states. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 295\u2013306. doi:10.1145\/3092703.3092714","DOI":"10.1145\/3092703.3092714"},{"key":"e_1_3_1_55_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00120"},{"key":"e_1_3_1_56_2","doi-asserted-by":"publisher","DOI":"10.1145\/3689780"},{"key":"e_1_3_1_57_2","doi-asserted-by":"publisher","unstructured":"Zihan Wang Pengbo Nie Xinyuan Miao Yuting Chen Chengcheng Wan Lei Bu and Jianjun Zhao. 2023. GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. 904\u2013916. doi:10.1145\/3597926.3598105","DOI":"10.1145\/3597926.3598105"},{"key":"e_1_3_1_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428261"},{"key":"e_1_3_1_59_2","unstructured":"Jiangchang Wu Yibiao Yang Maolin Sun and Yuming Zhou. 2025. Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration. In 2025 USENIX Annual Technical Conference (USENIX ATC 25). 1109\u20131125."},{"key":"e_1_3_1_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER56733.2023.00061"},{"key":"e_1_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00017"},{"key":"e_1_3_1_62_2","unstructured":"Chunqiu Steven Xia Matteo Paltenghi Jia Le Tian Michael Pradel and Lingming Zhang. 2024. Fuzz4all: Universal fuzzing with large language models. Proc. IEEE\/ACM ICSE (2024)."},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3359969"},{"key":"e_1_3_1_64_2","unstructured":"Jianhao Xu Kangjie Lu Zhengjie Du Zhu Ding Linke Li Qiushi Wu Mathias Payer and Bing Mao. 2023. Silent bugs matter: A study of {Compiler-Introduced} security bugs. In 32nd USENIX Security Symposium (USENIX Security 23). 3655\u20133672."},{"key":"e_1_3_1_65_2","doi-asserted-by":"publisher","DOI":"10.1145\/3689736"},{"key":"e_1_3_1_66_2","doi-asserted-by":"publisher","unstructured":"Wenzhang Yang Cuifeng Gao Xiaoyuan Liu Yuekang Li and Yinxing Xue. 2024. Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation. In Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering. 631\u2013642. doi:10.1145\/3691620.3695059","DOI":"10.1145\/3691620.3695059"},{"key":"e_1_3_1_67_2","doi-asserted-by":"publisher","unstructured":"Xuejun Yang Yang Chen Eric Eide and John Regehr. 2011. Finding and understanding bugs in C compilers. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 283\u2013294. doi:10.1145\/1993316.1993532","DOI":"10.1145\/1993316.1993532"},{"key":"e_1_3_1_68_2","doi-asserted-by":"publisher","unstructured":"Guixin Ye Tianmin Hu Zhanyong Tang Zhenye Fan Shin Hwei Tan Bo Zhang Wenxiang Qian and Zheng Wang. 2023. A generative and mutational approach for synthesizing bug-exposing test cases to guide compiler fuzzing. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1127\u20131139. doi:10.1145\/3611643.3616332","DOI":"10.1145\/3611643.3616332"},{"key":"e_1_3_1_69_2","doi-asserted-by":"publisher","unstructured":"Qirun Zhang Chengnian Sun and Zhendong Su. 2017. Skeletal program enumeration for rigorous compiler testing. In Proceedings of the 38th ACM SIGPLAN conference on programming language design and implementation. 347\u2013361. doi:10.1145\/3140587.3062379","DOI":"10.1145\/3140587.3062379"},{"key":"e_1_3_1_70_2","doi-asserted-by":"publisher","unstructured":"Yingquan Zhao Junjie Chen Ruifeng Fu Haojie Ye and Zan Wang. 2023. Testing the compiler for a new-born programming language: An industrial case study (experience paper). In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. 551\u2013563. doi:10.1145\/3597926.3598077","DOI":"10.1145\/3597926.3598077"},{"key":"e_1_3_1_71_2","doi-asserted-by":"publisher","unstructured":"Yingquan Zhao Zan Wang Junjie Chen Mengdi Liu Mingyuan Wu Yuqun Zhang and Lingming Zhang. 2022. History-driven test program synthesis for JVM testing. In Proceedings of the 44th International Conference on Software Engineering. 1133\u20131144. doi:10.1145\/3510003.3510059","DOI":"10.1145\/3510003.3510059"},{"key":"e_1_3_1_72_2","doi-asserted-by":"publisher","unstructured":"Hao Zhong. 2022. Enriching compiler testing with real program from bug report. In Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering. 1\u201312. doi:10.1145\/3551349.3556894","DOI":"10.1145\/3551349.3556894"},{"key":"e_1_3_1_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00068"},{"key":"e_1_3_1_74_2","doi-asserted-by":"publisher","unstructured":"Zhide Zhou Zhilei Ren Guojun Gao and He Jiang. 2021. An empirical study of optimization bugs in GCC and LLVM. Journal of Systems and Software 174 (2021) 110884. doi:10.1016\/j.jss.2020.110884","DOI":"10.1016\/j.jss.2020.110884"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T10:13:44Z","timestamp":1784196824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3763094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":73,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2025,10,9]]}},"alternative-id":["10.1145\/3763094"],"URL":"https:\/\/doi.org\/10.1145\/3763094","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-03-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}