Automatic predicate abstraction of C programs.

Thomas Ball Rupak Majumdar Todd D. Millstein Sriram K. Rajamani

Published in: ACM SIGPLAN Notices (2012)

Keyphrases

fully automatic
semi automatic
computer programs
neural network
hardware designs
decision theoretic planning
control structures
data driven
high level
information systems
bayesian networks
image segmentation
case study
decision trees
intermediate level
clustering algorithm
data sets