diff options
Diffstat (limited to 'conference.bib')
| -rw-r--r-- | conference.bib | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/conference.bib b/conference.bib index fd9d0ad..f5a0382 100644 --- a/conference.bib +++ b/conference.bib @@ -268,3 +268,20 @@ location = {undefined}, school = {University of Toronto}, year = {2015} } + +@inproceedings{chen16_empir_compar_compil_testin_techn, + author = {Chen, Junjie and Hu, Wenxiang and Hao, Dan and Xiong, Yingfei and Zhang, Hongyu and Zhang, Lu and Xie, Bing}, + title = {An Empirical Comparison of Compiler Testing Techniques}, + year = {2016}, + isbn = {9781450339001}, + publisher = {Association for Computing Machinery}, + address = {New York, NY, USA}, + url = {https://doi.org/10.1145/2884781.2884878}, + doi = {10.1145/2884781.2884878}, + 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.In this paper, we conduct a systematic and comprehensive empirical comparison of three compiler testing techniques, namely, Randomized Differential Testing (RDT), a variant of RDT---Different Optimization Levels (DOL), and Equivalence Modulo Inputs (EMI). Our results show that DOL is more effective at detecting bugs related to optimization, whereas RDT is more effective at detecting other types of bugs, and the three techniques can complement each other to a certain degree.Furthermore, in order to understand why their effectiveness differs, we investigate three factors that influence the effectiveness of compiler testing, namely, efficiency, strength of test oracles, and effectiveness of generated test programs. The results indicate that all the three factors are statistically significant, and efficiency has the most significant impact.}, + booktitle = {Proceedings of the 38th International Conference on Software Engineering}, + pages = {180–190}, + numpages = {11}, + location = {Austin, Texas}, + series = {ICSE '16} +} |