Automatic Rootcausing for Program Equivalence Failures in Binaries.

Shuvendu K. Lahiri Rohit Sinha Chris Hawblitzel

Published in: CAV (1) (2015)

Keyphrases

fully automatic
open source software
semi automatic
program execution
control flow
source code
online learning
data driven
fault localization
reverse engineering
real time
rough sets
data structure
multi agent
image processing
learning algorithm
information retrieval