An empirical comparison of compiler testing techniques

Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie

Abstract

Compilers, as one of the most important infrastructure of today's digital world, are expected to be trustworthy. Different testing techniques are developed for testing compilers automatically. However, it is unknown so far how these testing techniques compared to each other in terms of testing effectiveness: how many bugs a testing technique can find within a time limit.

BibTeX

@inproceedings{Chen-al:ICSE16,
  author    = {Junjie Chen and
               Wenxiang Hu and
               Dan Hao and
               Yingfei Xiong and
               Hongyu Zhang and
               Lu Zhang and
               Bing Xie},
  title     = {An empirical comparison of compiler testing techniques},
  booktitle = {ICSE},
  pages     = {180--190},
  publisher = {{ACM}},
  year      = {2016},
}

An empirical comparison of compiler testing techniques

Abstract

Related papers