{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:01:34Z","timestamp":1764784894760,"version":"3.40.5"},"reference-count":48,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["NSFC 62032004"],"award-info":[{"award-number":["NSFC 62032004"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072068"],"award-info":[{"award-number":["62072068"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2022,5]]},"abstract":"<jats:p> Compiler testing is the most widely used way to assure compiler quality. However, since compilers require a large number of sophisticated test programs as inputs, the existing approaches in compiler testing still have a limited capability in generating both syntactically valid and diverse test programs. In this paper, we propose DeepGen, a deep learning-based approach to support compiler testing through the inference of a generative model for compiler inputs. First, DeepGen trains a Transformer-XL model based on a large corpus of seed programs, and uses the trained model to generate syntactically valid programs. Then, DeepGen adopts a sampling strategy in the inference phase to generate diverse test programs. Finally, DeepGen leverages differential testing on the generated programs to discover compiler bugs. We have evaluated DeepGen over two popular C++ compilers GCC and LLVM, and the results confirm the effectiveness of our approach. DeepGen detects 35.29%, 53.33%, and 187.50% more bugs than three existing approaches, i.e. DeepSmith, DeepFuzz, and Csmith, respectively. In addition, 30.43% bugs detected by DeepGen are not detected by other approaches. Furthermore, DeepGen has successfully detected 38 bugs in the latest development versions of GCC and LLVM; 21 of them have been confirmed\/fixed by the developers. <\/jats:p>","DOI":"10.1142\/s0218194022500206","type":"journal-article","created":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T04:11:06Z","timestamp":1653106266000},"page":"661-691","source":"Crossref","is-referenced-by-count":3,"title":["Detecting Compiler Bugs Via a Deep Learning-Based Framework"],"prefix":"10.1142","volume":"32","author":[{"given":"Yixuan","family":"Tang","sequence":"first","affiliation":[{"name":"School of Software, Dalian University of Technology, No. 2, Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0002-1511-2158","authenticated-orcid":false,"given":"Zhilei","family":"Ren","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, No. 2, Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China"},{"name":"Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, No. 2, Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China"},{"name":"DUT Artificial Intelligence Institute, Dalian City, Liaoning Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Qiao","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, No. 104, Youyi Rd. Haidian District, Beijing, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, No. 2, Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhide","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, No. 2, Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiqiang","family":"Kong","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, No. 2, Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2022,5,20]]},"reference":[{"key":"S0218194022500206BIB001","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00037"},{"key":"S0218194022500206BIB002","first-page":"335","volume-title":"Programming Language Design and Implementation Conf.","author":"Regehr J.","year":"2012"},{"key":"S0218194022500206BIB003","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"S0218194022500206BIB004","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"S0218194022500206BIB007","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"S0218194022500206BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"},{"key":"S0218194022500206BIB009","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931074"},{"key":"S0218194022500206BIB010","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"S0218194022500206BIB011","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"S0218194022500206BIB012","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338957"},{"key":"S0218194022500206BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2003.1319081"},{"key":"S0218194022500206BIB014","first-page":"36","volume-title":"ICSE Workshop on Automation of Software Test","author":"Zhao C.","year":"2009"},{"key":"S0218194022500206BIB015","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"S0218194022500206BIB016","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"S0218194022500206BIB017","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"S0218194022500206BIB018","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011044"},{"key":"S0218194022500206BIB019","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"S0218194022500206BIB020","first-page":"3104","volume-title":"Advances in Neural Information Processing Systems","author":"Sutskever I.","year":"2014"},{"key":"S0218194022500206BIB022","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-1027"},{"key":"S0218194022500206BIB023","first-page":"5998","volume-title":"Advances in Neural Information Processing Systems","author":"Vaswani A.","year":"2017"},{"key":"S0218194022500206BIB025","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417058"},{"volume-title":"A Field Guide to Dynamical Recurrent Neural Networks","year":"2003","author":"Hochreiter S.","key":"S0218194022500206BIB026"},{"key":"S0218194022500206BIB027","doi-asserted-by":"publisher","DOI":"10.1145\/3386320"},{"key":"S0218194022500206BIB030","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.70"},{"key":"S0218194022500206BIB032","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416581"},{"key":"S0218194022500206BIB033","doi-asserted-by":"publisher","DOI":"10.1145\/1390156.1390306"},{"key":"S0218194022500206BIB034","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180224"},{"key":"S0218194022500206BIB035","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"S0218194022500206BIB036","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-019-8231-0"},{"issue":"1","key":"S0218194022500206BIB037","first-page":"4:1","volume":"53","author":"Chen J.","year":"2020","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"S0218194022500206BIB038","first-page":"100","volume":"10","author":"McKeeman W. M.","year":"1998","journal-title":"Digit. Techn. J."},{"key":"S0218194022500206BIB039","first-page":"265","volume-title":"12th {USENIX} Symp. Operating Systems Design and Implementation","author":"Abadi M.","year":"2016"},{"key":"S0218194022500206BIB041","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"issue":"18","key":"S0218194022500206BIB043","first-page":"539","volume":"8","author":"Sohan M. F.","year":"2020","journal-title":"IEEE Access"},{"key":"S0218194022500206BIB044","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"S0218194022500206BIB045","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"S0218194022500206BIB046","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00067"},{"key":"S0218194022500206BIB049","doi-asserted-by":"publisher","DOI":"10.1145\/2699678"},{"key":"S0218194022500206BIB050","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970326"},{"key":"S0218194022500206BIB051","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/423"},{"key":"S0218194022500206BIB052","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00026"},{"key":"S0218194022500206BIB053","doi-asserted-by":"publisher","DOI":"10.1145\/3196321.3196334"},{"key":"S0218194022500206BIB054","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380342"},{"key":"S0218194022500206BIB057","doi-asserted-by":"publisher","DOI":"10.1145\/2338966.2336798"},{"key":"S0218194022500206BIB058","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2290"},{"key":"S0218194022500206BIB059","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"S0218194022500206BIB060","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"S0218194022500206BIB061","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194022500206","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,24]],"date-time":"2022-06-24T09:58:51Z","timestamp":1656064731000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.worldscientific.com\/doi\/10.1142\/S0218194022500206"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":48,"journal-issue":{"issue":"05","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["10.1142\/S0218194022500206"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1142\/s0218194022500206","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"type":"print","value":"0218-1940"},{"type":"electronic","value":"1793-6403"}],"subject":[],"published":{"date-parts":[[2022,5]]}}}