Practical, Low-Effort Equivalence Verification of Real Code.

David A. Ramos Dawson R. Engler

Published in: CAV (2011)

Keyphrases

real world
practical application
source code
model checking
information retrieval
artificial intelligence
neural network
learning algorithm
case study
real life
high levels