Computer Engineering Commons^™

Remgen: Remanufacturing A Random Program Generator For Compiler Testing, Haoxin Tu, He Jiang, Xiaochen Li, Zhide Zhou, Lingxiao Jiang, Lingxiao Jiang

Research Collection School Of Computing and Information Systems

Program generators play a critical role in generating bug-revealing test programs for compiler testing. However, existing program generators have been tamed nowadays (i.e., compilers have been hardened against test programs generated by them), thus calling for new solutions to improve their capability in generating bug-revealing test programs. In this study, we propose a framework named Remgen, aiming to Remanufacture a random program Generator for this purpose. RemgEnaddresses the challenges of the synthesis of diverse code snippets at a low cost and the selection of the bug-revealing code snippets for constructing new test programs. More specifically, RemgEnfirst designs a grammar-aided synthesis …