TY  - RPRT
TI  - Skeletal Program Enumeration for Rigorous Compiler Testing
AU  - Qirun Zhang
AU  - Chengnian Sun
AU  - Zhendong Su
PY  - 2017
UR  - https://arxiv.org/abs/1610.03148
ID  - 1610.03148
ER  -