"Automatic Rootcausing for Program Equivalence Failures in Binaries."

Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics