Automatic Rootcausing for Program Equivalence Failures in Binaries.

Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel

Browse the full CAV paper archive.