{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:18:17Z","timestamp":1770279497930,"version":"3.49.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/apccas.2016.7804063","type":"proceedings-article","created":{"date-parts":[[2017,1,11]],"date-time":"2017-01-11T21:22:50Z","timestamp":1484169770000},"page":"676-679","source":"Crossref","is-referenced-by-count":16,"title":["Random testing of C compilers based on test program generation by equivalence transformation"],"prefix":"10.1109","author":[{"given":"Kazuhiro","family":"Nakamura","sequence":"first","affiliation":[]},{"given":"Nagisa","family":"Ishiura","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"226","article-title":"Introducing loop statements in random testing of C compilers based on expected value calculation","author":"nakamura","year":"2015","journal-title":"Proc of SASIMI 2015"},{"key":"ref11","author":"nakahashi","year":"2014","journal-title":"Random testing of C compilers based on derivation of syntax trees of arithmetic expressions"},{"key":"ref12","article-title":"Random testing for C compilers based on derivation of syntax trees of arithmetic expressions","author":"yura","year":"2015","journal-title":"Proc 2015 IEICE General Convention AS-1-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771785"},{"key":"ref14","first-page":"386","article-title":"Finding deep compiler bugs via guided stochastic program mutation","author":"le","year":"2015","journal-title":"Proc of the Object-Oriented Programming Systems Languages and Applications"},{"key":"ref4","year":"0","journal-title":"Installing GCC Testing"},{"key":"ref3","year":"0","journal-title":"The Plum Hall Validation Suite for C"},{"key":"ref6","year":"0"},{"key":"ref5","first-page":"42","article-title":"Accelerating regression test of compilers by test program merging","author":"fukumoto","year":"2012","journal-title":"Proc of SASIMI 2012"},{"key":"ref8","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"mckeeman","year":"1998","journal-title":"Digital Technical Journal"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref2","year":"0"},{"key":"ref1","year":"0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjtsldm.7.91"}],"event":{"name":"2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)","location":"Jeju, South Korea","start":{"date-parts":[[2016,10,25]]},"end":{"date-parts":[[2016,10,28]]}},"container-title":["2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786273\/7803879\/07804063.pdf?arnumber=7804063","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T19:51:30Z","timestamp":1513194690000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7804063\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/apccas.2016.7804063","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}