Finding and understanding bugs in C compilers

Xuejun Yang, Yang Chen, Eric Eide, John Regehr
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '11
San Jose, California, USA
Association for Computing Machinery
New York, NY, USA
Pages 283-294
Note(s): differential testing

  • Practical, low-effort equivalence verification of real code [ramos:cav:2011]