{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T05:10:59Z","timestamp":1784351459035,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,4]],"date-time":"2011-06-04T00:00:00Z","timestamp":1307145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,4]]},"DOI":"10.1145\/1993498.1993532","type":"proceedings-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T07:53:52Z","timestamp":1307346832000},"page":"283-294","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":716,"title":["Finding and understanding bugs in C compilers"],"prefix":"10.1145","author":[{"given":"Xuejun","family":"Yang","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Eide","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Regehr","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,6,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ACE Associated Computer Experts. SuperTest C\/C+ compiler test and validation suite. http:\/\/www.ace.nl\/compiler\/supertest.html  ACE Associated Computer Experts. SuperTest C\/C+ compiler test and validation suite. http:\/\/www.ace.nl\/compiler\/supertest.html"},{"key":"e_1_3_2_1_2_1","volume-title":"May","author":"Bellard F.","year":"2009","unstructured":"F. Bellard . TCC: Tiny C compiler, ver. 0.9.25 , May 2009 . http:\/\/bellard.org\/tcc\/. F. Bellard. TCC: Tiny C compiler, ver. 0.9.25, May 2009. http:\/\/bellard.org\/tcc\/."},{"key":"e_1_3_2_1_3_1","volume-title":"Jan.","author":"Biffle C. L.","year":"2010","unstructured":"C. L. Biffle . Undefined behavior in Google NaCl , Jan. 2010 . http:\/\/code.google.com\/p\/nativeclient\/issues\/detail?id=245. C. L. Biffle. Undefined behavior in Google NaCl, Jan. 2010. http:\/\/code.google.com\/p\/nativeclient\/issues\/detail?id=245."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)01055-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450093"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086284"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_1_9_1","volume-title":"Encyclopedia of Software Engineering","author":"Hamlet R.","year":"2001","unstructured":"R. Hamlet . Random testing . In J. Marciniak, editor, Encyclopedia of Software Engineering . Wiley , second edition, 2001 . R. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering. Wiley, second edition, 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.94.0242"},{"key":"e_1_3_2_1_11_1","volume-title":"May","author":"International Organization for Standardization. ISO\/IEC 9899:TC2","year":"2005","unstructured":"International Organization for Standardization. ISO\/IEC 9899:TC2 : Programming Languages-C , May 2005 . http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1124.pdf. International Organization for Standardization. ISO\/IEC 9899:TC2: Programming Languages-C, May 2005. http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1124.pdf."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085132"},{"issue":"1","key":"e_1_3_2_1_16_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman W. M.","year":"1998","unstructured":"W. M. McKeeman . Differential testing for software . Digital Technical Journal , 10 ( 1 ): 100 -- 107 , Dec. 1998 . W. M. McKeeman. Differential testing for software. Digital Technical Journal, 10(1):100--107, Dec. 1998.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_19_1","unstructured":"Perennial Inc. ACVS ANSI\/ISO\/FIPS-160 C validation suite ver. 4.5 Jan. 1998. http:\/\/www.peren.com\/pages\/acvs_set.htm.  Perennial Inc. ACVS ANSI\/ISO\/FIPS-160 C validation suite ver. 4.5 Jan. 1998. http:\/\/www.peren.com\/pages\/acvs_set.htm."},{"key":"e_1_3_2_1_20_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_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932308"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460869"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v37:14"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_34"},{"key":"e_1_3_2_1_25_1","unstructured":"S. Summit. comp.lang.c frequently asked questions. http:\/\/c-faq.com\/.   S. Summit. comp.lang.c frequently asked questions. http:\/\/c-faq.com\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806611"},{"key":"e_1_3_2_1_27_1","volume-title":"Jan.","author":"Turner B.","year":"2007","unstructured":"B. Turner . Random Program Generator , Jan. 2007 . http:\/\/sites.google.com\/site\/brturn2\/randomcprogramgenerator. B. Turner. Random Program Generator, Jan. 2007. http:\/\/sites.google.com\/site\/brturn2\/randomcprogramgenerator."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060313"},{"key":"e_1_3_2_1_29_1","volume-title":"Delta ver","author":"Wilkerson D. S.","year":"2006","unstructured":"D. S. Wilkerson . Delta ver . 2006 .08.03, Aug. 2006. http:\/\/delta.tigris.org\/. D. S. Wilkerson. Delta ver. 2006.08.03, Aug. 2006. http:\/\/delta.tigris.org\/."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086297.1086298"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_32_1","first-page":"36","volume-title":"Proc. ICSE Workshop on Automation of Software Test","author":"Zhao C.","year":"2009","unstructured":"C. Zhao Automated test program generation for an industrial optimizing compiler . In Proc. ICSE Workshop on Automation of Software Test , pages 36 -- 43 , May 2009 . C. Zhao et al. Automated test program generation for an industrial optimizing compiler. In Proc. ICSE Workshop on Automation of Software Test, pages 36--43, May 2009."}],"event":{"name":"PLDI '11: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"San Jose California USA","acronym":"PLDI '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993498.1993532","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1993498.1993532","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:05:46Z","timestamp":1750230346000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993498.1993532"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,4]]},"references-count":32,"alternative-id":["10.1145\/1993498.1993532","10.1145\/1993498"],"URL":"https:\/\/doi.org\/10.1145\/1993498.1993532","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1993316.1993532","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,6,4]]},"assertion":[{"value":"2011-06-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}