Qirun Zhang, Chengnian Sun, Zhendong Su. Skeletal program enumeration for rigorous compiler testing. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 347-361, ACM, 2017. [doi]
@inproceedings{ZhangSS17-1,
title = {Skeletal program enumeration for rigorous compiler testing},
author = {Qirun Zhang and Chengnian Sun and Zhendong Su},
year = {2017},
doi = {10.1145/3062341.3062379},
url = {http://doi.acm.org/10.1145/3062341.3062379},
researchr = {https://researchr.org/publication/ZhangSS17-1},
cites = {0},
citedby = {0},
pages = {347-361},
booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017},
editor = {Albert Cohen 0001 and Martin T. Vechev},
publisher = {ACM},
isbn = {978-1-4503-4988-8},
}