{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:18:04Z","timestamp":1784233084355,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62002256,62232001,61872263"],"award-info":[{"award-number":["62002256,62232001,61872263"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598077","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"551-563","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)"],"prefix":"10.1145","author":[{"given":"Yingquan","family":"Zhao","sequence":"first","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Junjie","family":"Chen","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruifeng","family":"Fu","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haojie","family":"Ye","sequence":"additional","affiliation":[{"name":"Huawei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zan","family":"Wang","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. GCC.  http:\/\/gcc.gnu.org\/ \t\t\t\t  2023. GCC.  http:\/\/gcc.gnu.org\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. LLVM.  https:\/\/llvm.org\/ \t\t\t\t  2023. LLVM.  https:\/\/llvm.org\/"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. ACM Program. Lang., 5, OOPSLA","author":"Bavishi Rohan","year":"2021","unstructured":"Rohan Bavishi , Caroline Lemieux , Koushik Sen , and Ion Stoica . 2021 . Gauss: program synthesis by reasoning over graphs . Proc. ACM Program. Lang., 5, OOPSLA (2021), 1\u201329. Rohan Bavishi, Caroline Lemieux, Koushik Sen, and Ion Stoica. 2021. Gauss: program synthesis by reasoning over graphs. Proc. ACM Program. Lang., 5, OOPSLA (2021), 1\u201329."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 39th International Conference on Software Engineering, ICSE 2017","author":"Chen Junjie","year":"2017","unstructured":"Junjie Chen , Yanwei Bai , Dan Hao , Yingfei Xiong , Hongyu Zhang , and Bing Xie . 2017 . Learning to prioritize test programs for compiler testing . In Proceedings of the 39th International Conference on Software Engineering, ICSE 2017 , Buenos Aires, Argentina , May 20-28, 2017, Sebasti\u00e1n Uchitel, Alessandro Orso, and Martin P. Robillard (Eds.). IEEE \/ ACM, 700\u2013711. Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, and Bing Xie. 2017. Learning to prioritize test programs for compiler testing. In Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, Sebasti\u00e1n Uchitel, Alessandro Orso, and Martin P. Robillard (Eds.). IEEE \/ ACM, 700\u2013711."},{"key":"e_1_3_2_1_7_1","volume-title":"ESEC\/SIGSOFT FSE 2019","author":"Chen Junjie","year":"2019","unstructured":"Junjie Chen , Jiaqi Han , Peiyi Sun , Lingming Zhang , Dan Hao , and Lu Zhang . 2019 . Compiler bug isolation via effective witness test program generation . In ESEC\/SIGSOFT FSE 2019 , Tallinn, Estonia , August 26-30, 2019, Marlon Dumas, Dietmar Pfahl, Sven Apel, and Alessandra Russo (Eds.). ACM, 223\u2013234. Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang. 2019. Compiler bug isolation via effective witness test program generation. In ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019, Marlon Dumas, Dietmar Pfahl, Sven Apel, and Alessandra Russo (Eds.). ACM, 223\u2013234."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 38th International Conference on Software Engineering, ICSE 2016","author":"Chen Junjie","year":"2016","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, ICSE 2016 , Austin, TX, USA , May 14-22, 2016, Laura K. Dillon, Willem Visser, and Laurie A. Williams (Eds.). ACM, 180\u2013190. 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, ICSE 2016, Austin, TX, USA, May 14-22, 2016, Laura K. Dillon, Willem Visser, and Laurie A. Williams (Eds.). ACM, 180\u2013190."},{"key":"e_1_3_2_1_9_1","volume-title":"A Survey of Compiler Testing. ACM Comput. Surv., 53, 1","author":"Chen Junjie","year":"2020","unstructured":"Junjie Chen , Jibesh Patra , Michael Pradel , Yingfei Xiong , Hongyu Zhang , Dan Hao , and Lu Zhang . 2020. A Survey of Compiler Testing. ACM Comput. Surv., 53, 1 ( 2020 ), 4:1\u20134:36. Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. 2020. A Survey of Compiler Testing. ACM Comput. Surv., 53, 1 (2020), 4:1\u20134:36."},{"key":"e_1_3_2_1_10_1","volume-title":"History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2019","author":"Chen Junjie","year":"2019","unstructured":"Junjie Chen , Guancheng Wang , Dan Hao , Yingfei Xiong , Hongyu Zhang , and Lu Zhang . 2019 . History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2019 , San Diego, CA, USA , November 11-15, 2019. IEEE, 305\u2013316. Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, and Lu Zhang. 2019. History-Guided Configuration Diversification for Compiler Test-Program Generation. In 34th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019. IEEE, 305\u2013316."},{"key":"e_1_3_2_1_11_1","volume-title":"43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021","author":"Chen Junjie","year":"2021","unstructured":"Junjie Chen , Ningxin Xu , Peiqi Chen , and Hongyu Zhang . 2021 . Efficient Compiler Autotuning via Bayesian Optimization . In 43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021 , Madrid, Spain , 22-30 May 2021. IEEE, 1198\u20131209. Junjie Chen, Ningxin Xu, Peiqi Chen, and Hongyu Zhang. 2021. Efficient Compiler Autotuning via Bayesian Optimization. In 43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. IEEE, 1198\u20131209."},{"key":"e_1_3_2_1_12_1","volume-title":"Metamorphic Testing: A New Approach for Generating Next Test Cases. CoRR, abs\/2002.12543","author":"Chen Tsong Yueh","year":"2020","unstructured":"Tsong Yueh Chen , S. C. Cheung , and Siu-Ming Yiu . 2020 . Metamorphic Testing: A New Approach for Generating Next Test Cases. CoRR, abs\/2002.12543 (2020). Tsong Yueh Chen, S. C. Cheung, and Siu-Ming Yiu. 2020. Metamorphic Testing: A New Approach for Generating Next Test Cases. CoRR, abs\/2002.12543 (2020)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00129-5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.08.004"},{"key":"e_1_3_2_1_15_1","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201913","author":"Chen Yang","year":"2013","unstructured":"Yang Chen , Alex Groce , Chaoqiang Zhang , Weng-Keen Wong , Xiaoli Z. Fern , Eric Eide , and John Regehr . 2013 . Taming compiler fuzzers . In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201913 , Seattle, WA, USA , June 16-19, 2013, Hans-Juergen Boehm and Cormac Flanagan (Eds.). ACM, 197\u2013208. Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, and John Regehr. 2013. Taming compiler fuzzers. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201913, Seattle, WA, USA, June 16-19, 2013, Hans-Juergen Boehm and Cormac Flanagan (Eds.). ACM, 197\u2013208."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 41st International Conference on Software Engineering. 1257\u20131268","author":"Chen Yuting","year":"2019","unstructured":"Yuting Chen , Ting Su , and Zhendong Su . 2019 . Deep differential testing of JVM implementations . In Proceedings of the 41st International Conference on Software Engineering. 1257\u20131268 . Yuting Chen, Ting Su, and Zhendong Su. 2019. Deep differential testing of JVM implementations. In Proceedings of the 41st International Conference on Software Engineering. 1257\u20131268."},{"key":"e_1_3_2_1_17_1","volume-title":"30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015","author":"Dewey Kyle","year":"2015","unstructured":"Kyle Dewey , Jared Roesch , and Ben Hardekopf . 2015 . Fuzzing the Rust Typechecker Using CLP (T) . In 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015 , Lincoln, NE, USA , November 9-13, 2015, Myra B. Cohen, Lars Grunske, and Michael Whalen (Eds.). IEEE Computer Society, 482\u2013493. Kyle Dewey, Jared Roesch, and Ben Hardekopf. 2015. Fuzzing the Rust Typechecker Using CLP (T). In 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015, Myra B. Cohen, Lars Grunske, and Michael Whalen (Eds.). IEEE Computer Society, 482\u2013493."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. ACM Program. Lang., 1, OOPSLA","author":"Donaldson Alastair F.","year":"2017","unstructured":"Alastair F. Donaldson , Hugues Evrard , Andrei Lascu , and Paul Thomson . 2017 . Automated testing of graphics shader compilers . Proc. ACM Program. Lang., 1, OOPSLA (2017), 93:1\u201393:29. Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson. 2017. Automated testing of graphics shader compilers. Proc. ACM Program. Lang., 1, OOPSLA (2017), 93:1\u201393:29."},{"key":"e_1_3_2_1_19_1","volume-title":"34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Robert Hirschfeld and Tobias Pape (Eds.) (LIPIcs","volume":"29","author":"Donaldson Alastair F.","year":"2020","unstructured":"Alastair F. Donaldson , Hugues Evrard , and Paul Thomson . 2020 . Putting Randomized Compiler Testing into Production (Experience Report) . In 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Robert Hirschfeld and Tobias Pape (Eds.) (LIPIcs , Vol. 166). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 22:1\u201322: 29 . Alastair F. Donaldson, Hugues Evrard, and Paul Thomson. 2020. Putting Randomized Compiler Testing into Production (Experience Report). In 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Robert Hirschfeld and Tobias Pape (Eds.) (LIPIcs, Vol. 166). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 22:1\u201322:29."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 1st International Workshop on Metamorphic Testing, MET@ICSE 2016","author":"Alastair","year":"2016","unstructured":"Alastair F. Donaldson and Andrei Lascu. 2016. Metamorphic testing for (graphics) compilers . In Proceedings of the 1st International Workshop on Metamorphic Testing, MET@ICSE 2016 , Austin, Texas, USA , May 16, 2016 . ACM, 44\u201347. Alastair F. Donaldson and Andrei Lascu. 2016. Metamorphic testing for (graphics) compilers. In Proceedings of the 1st International Workshop on Metamorphic Testing, MET@ICSE 2016, Austin, Texas, USA, May 16, 2016. ACM, 44\u201347."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008","author":"Eide Eric","year":"2008","unstructured":"Eric Eide and John Regehr . 2008 . Volatiles are miscompiled, and what to do about it . In Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008 , Atlanta, GA, USA , October 19-24, 2008, Luca de Alfaro and Jens Palsberg (Eds.). ACM, 255\u2013264. Eric Eide and John Regehr. 2008. Volatiles are miscompiled, and what to do about it. In Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, Luca de Alfaro and Jens Palsberg (Eds.). ACM, 255\u2013264."},{"key":"e_1_3_2_1_22_1","volume-title":"14th USENIX Workshop on Offensive Technologies, WOOT 2020","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi , Dominik Maier , Heiko Ei\u00df feldt, and Marc Heuse . 2020 . AFL++ : Combining Incremental Steps of Fuzzing Research . In 14th USENIX Workshop on Offensive Technologies, WOOT 2020 , August 11, 2020, Yuval Yarom and Sarah Zennou (Eds.). USENIX Association. Andrea Fioraldi, Dominik Maier, Heiko Ei\u00df feldt, and Marc Heuse. 2020. AFL++ : Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies, WOOT 2020, August 11, 2020, Yuval Yarom and Sarah Zennou (Eds.). USENIX Association."},{"key":"e_1_3_2_1_23_1","volume-title":"29th International Conference on Software Engineering (ICSE 2007","author":"Groce Alex","year":"2007","unstructured":"Alex Groce , Gerard J. Holzmann , and Rajeev Joshi . 2007 . Randomized Differential Testing as a Prelude to Formal Verification . In 29th International Conference on Software Engineering (ICSE 2007 ), Minneapolis, MN, USA , May 20-26, 2007. IEEE Computer Society, 621\u2013631. Alex Groce, Gerard J. Holzmann, and Rajeev Joshi. 2007. Randomized Differential Testing as a Prelude to Formal Verification. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007. IEEE Computer Society, 621\u2013631."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 21th USENIX Security Symposium","author":"Holler Christian","year":"2012","unstructured":"Christian Holler , Kim Herzig , and Andreas Zeller . 2012 . Fuzzing with Code Fragments . In Proceedings of the 21th USENIX Security Symposium , Bellevue, WA, USA , August 8-10, 2012, Tadayoshi Kohno (Ed.). USENIX Association, 445\u2013458. Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with Code Fragments. In Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, Tadayoshi Kohno (Ed.). USENIX Association, 445\u2013458."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2290"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018","author":"Kim Junhwi","year":"2018","unstructured":"Junhwi Kim , Minhyuk Kwon , and Shin Yoo . 2018 . Generating test input with deep reinforcement learning . In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018 , Gothenburg, Sweden , May 28-29, 2018, Juan Pablo Galeotti and Alessandra Gorla (Eds.). ACM, 51\u201358. Junhwi Kim, Minhyuk Kwon, and Shin Yoo. 2018. Generating test input with deep reinforcement learning. In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, Juan Pablo Galeotti and Alessandra Gorla (Eds.). ACM, 51\u201358."},{"key":"e_1_3_2_1_27_1","volume-title":"Evaluating Fuzz Testing. CoRR, abs\/1808.09700","author":"Klees George","year":"2018","unstructured":"George Klees , Andrew Ruef , Benji Cooper , Shiyi Wei , and Michael Hicks . 2018. Evaluating Fuzz Testing. CoRR, abs\/1808.09700 ( 2018 ). George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, and Michael Hicks. 2018. Evaluating Fuzz Testing. CoRR, abs\/1808.09700 (2018)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 65\u201376","author":"Lidbury Christopher","unstructured":"Christopher Lidbury , Andrei Lascu , Nathan Chong , and Alastair F. Donaldson . 2015. Many-core compiler fuzzing . In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 65\u201376 . Christopher Lidbury, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson. 2015. Many-core compiler fuzzing. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 65\u201376."},{"key":"e_1_3_2_1_31_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman . 1998 . Differential Testing for Software . Digit. Tech. J. , 10 , 1 (1998), 100 \u2013 107 . William M. McKeeman. 1998. Differential Testing for Software. Digit. Tech. J., 10, 1 (1998), 100\u2013107.","journal-title":"Digit. Tech. J."},{"key":"e_1_3_2_1_32_1","volume-title":"Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI","author":"Nagai Eriko","year":"2012","unstructured":"Eriko Nagai , Hironobu Awazu , Nagisa Ishiura , and Naoya Takeda . 2012 . Random testing of C compilers targeting arithmetic optimization . In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012). 48\u201353. Eriko Nagai, Hironobu Awazu, Nagisa Ishiura, and Naoya Takeda. 2012. Random testing of C compilers targeting arithmetic optimization. In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012). 48\u201353."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998392.2998397"},{"key":"e_1_3_2_1_34_1","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201912","author":"Regehr John","year":"2012","unstructured":"John Regehr , Yang Chen , Pascal Cuoq , Eric Eide , Chucky Ellison , and Xuejun Yang . 2012 . Test-case reduction for C compiler bugs . In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201912 , Beijing, China - June 11 - 16 , 2012, Jan Vitek, Haibo Lin, and Frank Tip (Eds.). ACM, 335\u2013346. John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, and Xuejun Yang. 2012. Test-case reduction for C compiler bugs. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201912, Beijing, China - June 11 - 16, 2012, Jan Vitek, Haibo Lin, and Frank Tip (Eds.). ACM, 335\u2013346."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006","volume":"2","author":"Sassa Masataka","year":"2006","unstructured":"Masataka Sassa and Daijiro Sudosa . 2006 . Experience in Testing Compiler Optimizers Using Comparison Checking . In Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006 , Las Vegas, Nevada, USA , June 26-29, 2006, Volume 2 , Hamid R. Arabnia and Hassan Reza (Eds.). CSREA Press, 837\u2013843. Masataka Sassa and Daijiro Sudosa. 2006. Experience in Testing Compiler Optimizers Using Comparison Checking. In Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2, Hamid R. Arabnia and Hassan Reza (Eds.). CSREA Press, 837\u2013843."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.08.010"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 39th International Conference on Software Engineering, ICSE 2017","author":"Souto Sabrina","year":"2017","unstructured":"Sabrina Souto , Marcelo d\u2019 Amorim , and Rohit Gheyi . 2017 . Balancing soundness and efficiency for practical testing of configurable systems . In Proceedings of the 39th International Conference on Software Engineering, ICSE 2017 , Buenos Aires, Argentina , May 20-28, 2017, Sebasti\u00e1n Uchitel, Alessandro Orso, and Martin P. Robillard (Eds.). IEEE \/ ACM, 632\u2013642. Sabrina Souto, Marcelo d\u2019Amorim, and Rohit Gheyi. 2017. Balancing soundness and efficiency for practical testing of configurable systems. In Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, Sebasti\u00e1n Uchitel, Alessandro Orso, and Martin P. Robillard (Eds.). IEEE \/ ACM, 632\u2013642."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464814"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"e_1_3_2_1_41_1","volume-title":"An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. In 17th Asia Pacific Software Engineering Conference, APSEC 2010","author":"Tao Qiuming","year":"2010","unstructured":"Qiuming Tao , Wei Wu , Chen Zhao , and Wuwei Shen . 2010 . An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. In 17th Asia Pacific Software Engineering Conference, APSEC 2010 , Sydney, Australia, November 30 - December 3, 2010, Jun Han and Tran Dan Thu (Eds.). IEEE Computer Society, 270\u2013279. Qiuming Tao, Wei Wu, Chen Zhao, and Wuwei Shen. 2010. An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. In 17th Asia Pacific Software Engineering Conference, APSEC 2010, Sydney, Australia, November 30 - December 3, 2010, Jun Han and Tran Dan Thu (Eds.). IEEE Computer Society, 270\u2013279."},{"key":"e_1_3_2_1_42_1","first-page":"1","volume-title":"Proc. ACM Meas. Anal. Comput. Syst., 6","author":"Xiao Dongwei","year":"2022","unstructured":"Dongwei Xiao , Zhibo Liu , Yuanyuan Yuan , Qi Pang , and Shuai Wang . 2022 . Metamorphic Testing of Deep Learning Compilers . Proc. ACM Meas. Anal. Comput. Syst., 6 , 1 (2022), 15:1\u201315:28. Dongwei Xiao, Zhibo Liu, Yuanyuan Yuan, Qi Pang, and Shuai Wang. 2022. Metamorphic Testing of Deep Learning Compilers. Proc. ACM Meas. Anal. Comput. Syst., 6, 1 (2022), 15:1\u201315:28."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454054"},{"key":"e_1_3_2_1_45_1","volume-title":"A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms. Softw. Test. Verification Reliab., 28, 7","author":"Yu Tingting","year":"2018","unstructured":"Tingting Yu , Witawas Srisa-an, Myra B. Cohen , and Gregg Rothermel . 2018. A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms. Softw. Test. Verification Reliab., 28, 7 ( 2018 ). Tingting Yu, Witawas Srisa-an, Myra B. Cohen, and Gregg Rothermel. 2018. A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms. Softw. Test. Verification Reliab., 28, 7 (2018)."},{"key":"e_1_3_2_1_46_1","volume-title":"american fuzzy lop (2.52 b). Retrieved April, 10","author":"Zalewski Michal","year":"2023","unstructured":"Michal Zalewski . 2023. american fuzzy lop (2.52 b). Retrieved April, 10 ( 2023 ). Michal Zalewski. 2023. american fuzzy lop (2.52 b). Retrieved April, 10 (2023)."},{"key":"e_1_3_2_1_47_1","volume-title":"History-Driven Test Program Synthesis for JVM Testing. In 44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022","author":"Zhao Yingquan","year":"2022","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 44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022 , Pittsburgh, PA, USA , May 25-27, 2022. ACM, 1133\u20131144. 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 44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. ACM, 1133\u20131144."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3144480"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598077","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":48,"alternative-id":["10.1145\/3597926.3598077","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598077","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}