David A. Ramos, Dawson R. Engler
Practical, Low-Effort Equivalence Verification of Real Code
CAV, 2011.
@inproceedings{CAV-2011-RamosE, author = "David A. Ramos and Dawson R. Engler", booktitle = "{Proceedings of the 23rd International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-22110-1_55", isbn = "978-3-642-22109-5", pages = "669--685", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Practical, Low-Effort Equivalence Verification of Real Code}", volume = 6806, year = 2011, }