Automatic Predicate Abstraction of C Programs.

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

Published in: PLDI (2001)

Keyphrases

semi automatic
fully automatic
real time
learning environment
neural network
information systems
decision trees
data driven
heuristic search
hardware designs