@misc{indiciae7dd717541c0d,
  title = {Skeletal Program Enumeration for Rigorous Compiler Testing},
  author = {Qirun Zhang and Chengnian Sun and Zhendong Su},
  year = {2017},
  url = {https://arxiv.org/abs/1610.03148},
  note = {Source identifier: 1610.03148}
}