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
2011
Note(s):
differential testing
Papers related to Finding and understanding bugs in C compilers
Practical, low-effort equivalence verification of real code [ramos:cav:2011]
The opinions expressed are my own views and not my employer’s.