{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T13:00:33Z","timestamp":1761570033089,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,20]]},"DOI":"10.1145\/3755881.3755917","type":"proceedings-article","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:46:17Z","timestamp":1761565577000},"page":"130-141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Emerging Compiler Testing Based on Test Case Reuse"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-1393-9665","authenticated-orcid":false,"given":"Kelin","family":"Zhu","sequence":"first","affiliation":[{"name":"School of Intelligent Software and Engineering, Nanjing University, Nanjing, Jiangsu, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7216-6929","authenticated-orcid":false,"given":"Yu","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4794-1652","authenticated-orcid":false,"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3090-9568","authenticated-orcid":false,"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China"}]}],"member":"320","published-online":{"date-parts":[[2025,10,27]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Antoine Barri\u00e8re Sandrine Blazy Olivier Fl\u00fcckiger David Pichardie and Jan Vitek. 2021. Formally Verified Speculation and Deoptimization in a JIT Compiler. Proceedings of the ACM on Programming Languages 5 POPL (2021) 1\u201326.","DOI":"10.1145\/3434327"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Antoine Barri\u00e8re Sandrine Blazy and David Pichardie. 2023. Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler. Proceedings of the ACM on Programming Languages 7 POPL (2023) 249\u2013277.","DOI":"10.1145\/3571202"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Gilles Barthe Sandrine Blazy Benjamin Gr\u00e9goire R\u00e9mi Hutin Vincent Laporte David Pichardie and Alix Trieu. 2019. Formal verification of a constant-time preserving C compiler. Proceedings of the ACM on Programming Languages 4 POPL (2019) 1\u201330.","DOI":"10.1145\/3371075"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409694"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183456"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.70"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"Junjie Chen and Chenyao Suo. 2022. Boosting compiler testing via compiler optimization exploration. ACM Transactions on Software Engineering and Methodology (TOSEM) 31 4 (2022) 1\u201333.","DOI":"10.1145\/3508362"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Junjie Chen Ge Wang Dan Hao Yingfei Xiong Hongyu Zhang Lu Zhang and Bing Xie. 2022. Coverage Prediction for Accelerating Compiler Testing. IEEE Transactions on Software Engineering 48 2 (2022) 261\u2013278.","DOI":"10.1109\/TSE.2018.2889771"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00110"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_3_2_12_2","first-page":"265","volume-title":"Proceedings of the 7th ACM International Conference on Embedded Software","author":"Chen Yang","year":"2010","unstructured":"Yang Chen, Nathan Johnson, and John Regehr. 2010. Embedded System Verification via Robustness Testing and Behavior Analysis. In Proceedings of the 7th ACM International Conference on Embedded Software. 265\u2013274."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3708493.3712691"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO53902.2022.9741258"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598067"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454092"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"crossref","first-page":"1219","DOI":"10.1145\/3324884.3418933","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering","author":"Even-Mendoza Kedar","year":"2020","unstructured":"Kedar Even-Mendoza, Cristian Cadar, and Alastair\u00a0F. Donaldson. 2020. Closer to the Edge: Testing Compilers More Thoroughly. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering. 1219\u20131223."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Kedar Even-Mendoza Cristian Cadar and Alastair\u00a0F. Donaldson. 2022. CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively. Empirical Software Engineering 27 6 (2022) 129.","DOI":"10.1007\/s10664-022-10146-1"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598130"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663864"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549159"},{"key":"e_1_3_3_2_24_2","first-page":"191","volume-title":"Proceedings of the 9th Joint Meeting on Foundations of Software Engineering","author":"Hawblitzel Chris","year":"2013","unstructured":"Chris Hawblitzel, Shuvendu\u00a0K. Lahiri, Kruti Pawar, Hammad Hashmi, Suleyman Gokbulut, Lakshan Fernando, David Detlefs, and Scott Wadsworth. 2013. Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation. In Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. 191\u2013201."},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3623278.3624770"},{"key":"e_1_3_3_2_26_2","unstructured":"JetBrains. 2011. Kotlin Programming Language. https:\/\/kotlinlang.org. [Online; accessed 2023-09-15]."},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"crossref","unstructured":"Vu Le Mehrdad Afshari and Zhendong Su. 2014. Compiler Validation via Equivalence Modulo Inputs. ACM SIGPLAN Notices 49 6 (2014) 216\u2013226.","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771785"},{"key":"e_1_3_3_2_29_2","first-page":"42","volume-title":"Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Leroy Xavier","year":"2006","unstructured":"Xavier Leroy. 2006. Formal Certification of a Compiler Back-End or: Programming a Compiler with a Proof Assistant. In Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 42\u201354."},{"key":"e_1_3_3_2_30_2","volume-title":"CompCert-a Formally Verified Optimizing Compiler","author":"Leroy Xavier","year":"2016","unstructured":"Xavier Leroy, Sandrine Blazy, Daniel K\u00e4stner, Bernhard Schommer, Markus Pister, and Christian Ferdinand. 2016. CompCert-a Formally Verified Optimizing Compiler. Technical Report. INRIA."},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678611"},{"key":"e_1_3_3_2_32_2","first-page":"238","volume-title":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Li Shangshang","year":"2023","unstructured":"Shangshang Li and Zhendong Su. 2023. Finding Unstable Code via Compiler-Driven Differential Testing. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 238\u2013251."},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"crossref","unstructured":"Shaohua Li Theodoros Theodoridis and Zhendong Su. 2024. Boosting compiler testing by injecting real-world code. Proceedings of the ACM on Programming Languages 8 PLDI (2024) 223\u2013245.","DOI":"10.1145\/3656386"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3578360.3580260"},{"key":"e_1_3_3_2_35_2","first-page":"1044","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"Liu Xiaoyu","year":"2019","unstructured":"Xiaoyu Liu, Ximing Li, Rohan Prajapati, and Dinghao Wu. 2019. DeepFuzz: Automatic Generation of Syntax Valid C Programs. In Proceedings of the AAAI Conference on Artificial Intelligence. 1044\u20131051."},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695074"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"crossref","unstructured":"Vsevolod Livinskii Dmitry Babokin and John Regehr. 2020. Random testing for C and C++ compilers with YARPGen. Proceedings of the ACM on Programming Languages 4 OOPSLA (2020) 1\u201325.","DOI":"10.1145\/3428264"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680362"},{"key":"e_1_3_3_2_40_2","unstructured":"Microsoft. 2012. TypeScript Documentation. https:\/\/www.typescriptlang.org. [Online; accessed 2023-09-15]."},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616357"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1145\/3578360.3580255","volume-title":"Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction","author":"Mu Wei","year":"2023","unstructured":"Wei Mu, Yuxuan Zhang, Bo Huang, Jian Guo, and Sen Cui. 2023. A Hotspot-Driven Semi-automated Competitive Analysis Framework for Identifying Compiler Key Optimizations. In Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction. 216\u2013227."},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_3_2_45_2","unstructured":"Carbon Language\u00a0Development Team. 2022. Carbon Language Repository. https:\/\/github.com\/carbon-language\/carbon-lang. [Online; accessed 2023-09-15]."},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"crossref","unstructured":"Qian Wang and Ralf Jung. 2024. Rustlantis: Randomized Differential Testing of the Rust Compiler. Proceedings of the ACM on Programming Languages 8 OOPSLA2 (2024) 1955\u20131981.","DOI":"10.1145\/3689780"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"crossref","unstructured":"Yue Wang Weishi Wang Shafiq Joty and Steven C.\u00a0H. Hoi. 2021. CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2109.00859 (2021).","DOI":"10.18653\/v1\/2021.emnlp-main.685"},{"key":"e_1_3_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3469079"},{"key":"e_1_3_3_2_49_2","unstructured":"Chunqiu\u00a0Steven Xia Matteo Paltenghi Jia\u00a0Le Tian Michael Pradel and Lingming Zhang. 2023. Universal Fuzzing via Large Language Models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2308.04748 (2023)."},{"key":"e_1_3_3_2_50_2","unstructured":"Chenyuan Yang Yinlin Deng Ruyi Lu Jiawei Yao Jie Liu Roozbeh Jabbarvand and Lingming Zhang. 2023. White-Box Compiler Fuzzing Empowered by Large Language Models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2310.15991 (2023)."},{"key":"e_1_3_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695059"},{"key":"e_1_3_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_3_2_53_2","first-page":"1127","volume-title":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Ye Guixin","year":"2023","unstructured":"Guixin Ye, Tianqi Hu, Zhanxiong Tang, Shiwen Fan, Shin\u00a0Hwei Tan, Bing Zhang, Wenhan Qian, and Zhanyong Wang. 2023. A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1127\u20131139."},{"key":"e_1_3_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454054"},{"key":"e_1_3_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556958"},{"key":"e_1_3_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1145\/3671016.3671387"},{"key":"e_1_3_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"},{"key":"e_1_3_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510059"},{"key":"e_1_3_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556894"},{"key":"e_1_3_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/3639476.3639762"},{"key":"e_1_3_3_2_61_2","doi-asserted-by":"crossref","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"}],"event":{"name":"Internetware 2025: the 16th International Conference on Internetware","sponsor":["SIGSOFT ACM Special Interest Group on Artificial Intelligence"],"location":"Trondheim Norway","acronym":"Internetware 2025"},"container-title":["Proceedings of the 16th International Conference on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3755881.3755917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:50:05Z","timestamp":1761565805000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3755881.3755917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,20]]},"references-count":60,"alternative-id":["10.1145\/3755881.3755917","10.1145\/3755881"],"URL":"https:\/\/doi.org\/10.1145\/3755881.3755917","relation":{},"subject":[],"published":{"date-parts":[[2025,6,20]]},"assertion":[{"value":"2025-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}