{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T04:32:54Z","timestamp":1791433974578,"version":"4.3.3"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T00:00:00Z","timestamp":1468800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1528133"],"award-info":[{"award-number":["1528133"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,18]]},"DOI":"10.1145\/2931037.2931074","type":"proceedings-article","created":{"date-parts":[[2016,7,7]],"date-time":"2016-07-07T12:33:29Z","timestamp":1467894809000},"page":"294-305","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":120,"title":["Toward understanding compiler bugs in GCC and LLVM"],"prefix":"10.1145","author":[{"given":"Chengnian","family":"Sun","sequence":"first","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vu","family":"Le","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qirun","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ACE. SuperTest compiler test and validation suite. http:\/\/www.ace.nl\/compiler\/supertest.html.  ACE. SuperTest compiler test and validation suite. http:\/\/www.ace.nl\/compiler\/supertest.html."},{"key":"e_1_3_2_1_2_1","unstructured":"A. Balestrat. CCG: A random C code generator. https: \/\/github.com\/Merkil\/ccg\/.  A. Balestrat. CCG: A random C code generator. https: \/\/github.com\/Merkil\/ccg\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_31"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100070"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/256664.256773"},{"key":"e_1_3_2_1_7_1","unstructured":"ISBN 0- 89791-391-4. URL http:\/\/dl.acm.org\/citation.cfm?id= 256664.256773.  ISBN 0- 89791-391-4. URL http:\/\/dl.acm.org\/citation.cfm?id= 256664.256773."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_9_1","unstructured":"ISBN 1-58113-389-8.  ISBN 1-58113-389-8."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_12"},{"key":"e_1_3_2_1_11_1","unstructured":"GCC. GIMPLE \u2013 GNU Compiler Collection (GCC) Internals . https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/ GIMPLE.html accessed: 2014-06-25.  GCC. GIMPLE \u2013 GNU Compiler Collection (GCC) Internals . https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/ GIMPLE.html accessed: 2014-06-25."},{"key":"e_1_3_2_1_12_1","unstructured":"GCC. RTL \u2013 GNU Compiler Collection (GCC) Internals . https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/RTL. html accessed: 2014-06-25.  GCC. RTL \u2013 GNU Compiler Collection (GCC) Internals . https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/RTL. html accessed: 2014-06-25."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771785"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_16_1","volume-title":"INRIA","author":"Leroy X.","year":"2012","unstructured":"X. Leroy , A. W. Appel , S. Blazy , and G. Stewart . The CompCert Memory Model, Version 2. Research report RR-7987 , INRIA , June 2012 . X. Leroy, A. W. Appel, S. Blazy, and G. Stewart. The CompCert Memory Model, Version 2. Research report RR-7987, INRIA, June 2012."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181314"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831730"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522920.2522922"},{"key":"e_1_3_2_1_22_1","first-page":"53","volume-title":"Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012","author":"Nagai E.","year":"2012","unstructured":"E. Nagai , H. Awazu , N. Ishiura , and N. Takeda . Random testing of C compilers targeting arithmetic optimization . In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012 ), pages 48\u2013 53 , 2012 . E. Nagai, H. Awazu, N. Ishiura, and N. Takeda. Random testing of C compilers targeting arithmetic optimization. In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), pages 48\u201353, 2012."},{"key":"e_1_3_2_1_23_1","first-page":"93","volume-title":"Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013","author":"Nagai E.","year":"2013","unstructured":"E. Nagai , A. Hashimoto , and N. Ishiura . Scaling up size and number of expressions in random testing of arithmetic optimization of C compilers . In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013 ), pages 88\u2013 93 , 2013 . E. Nagai, A. Hashimoto, and N. Ishiura. Scaling up size and number of expressions in random testing of arithmetic optimization of C compilers. In Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013), pages 88\u201393, 2013."},{"key":"e_1_3_2_1_24_1","unstructured":"Plum Hall Inc. The Plum Hall Validation Suite for C. http:\/\/www.plumhall.com\/stec.html.  Plum Hall Inc. The Plum Hall Validation Suite for C. http:\/\/www.plumhall.com\/stec.html."},{"key":"e_1_3_2_1_25_1","first-page":"166","volume-title":"Translation Validation. In 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)","author":"Pnueli A.","year":"1998","unstructured":"A. Pnueli , M. Siegel , and E. Singerman . Translation Validation. In 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS) , pages 151\u2013 166 , 1998 . A. Pnueli, M. Siegel, and E. Singerman. Translation Validation. In 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), pages 151\u2013166, 1998."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806870"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660234"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1992.243586"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806811"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486046.2486067"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.22"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.31"},{"key":"e_1_3_2_1_35_1","volume-title":"TIOBE Index for","author":"TIOBE.","year":"2016","unstructured":"TIOBE. TIOBE Index for May 2016 . http:\/\/www. tiobe.com\/tiobe index, accessed: 2016-05-15. TIOBE. TIOBE Index for May 2016. http:\/\/www. tiobe.com\/tiobe index, accessed: 2016-05-15."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328444"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043572"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_41_1","first-page":"43","volume-title":"ICSE Workshop on Automation of Software Test (AST)","author":"Zhao C.","year":"2009","unstructured":"C. Zhao , Y. Xue , Q. Tao , L. Guo , and Z. Wang . Automated test program generation for an industrial optimizing compiler . In ICSE Workshop on Automation of Software Test (AST) , pages 36\u2013 43 , 2009 . C. Zhao, Y. Xue, Q. Tao, L. Guo, and Z. Wang. Automated test program generation for an industrial optimizing compiler. In ICSE Workshop on Automation of Software Test (AST), pages 36\u201343, 2009."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337363"}],"event":{"name":"ISSTA '16: International Symposium on Software Testing and Analysis","location":"Saarbr\u00fccken Germany","acronym":"ISSTA '16","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 25th International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931074","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2931037.2931074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:56Z","timestamp":1750222556000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,18]]},"references-count":42,"alternative-id":["10.1145\/2931037.2931074","10.1145\/2931037"],"URL":"https:\/\/doi.org\/10.1145\/2931037.2931074","relation":{},"subject":[],"published":{"date-parts":[[2016,7,18]]},"assertion":[{"value":"2016-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}