Differential symbolic execution

Suzette Person, Matthew B. Dwyer, Sebastian Elbaum, Corina S. Păsăreanu
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

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

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