Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering
SIGSOFT '08/FSE-16
Atlanta, Georgia
Association for Computing Machinery
New York, NY, USA
Pages 226-237
2008
Note(s):
symbolic execution,
differential testing
Papers related to Differential symbolic execution
Practical, low-effort equivalence verification of real code [ramos:cav:2011]
The opinions expressed are my own views and not my employer’s.