Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions.

Published in: Sci. Comput. Program. (2014)

Keyphrases

association rules
automatically infer
application domains
real world
color and texture information
databases
high level
expert systems
closed form
computer programs
sufficient conditions
database systems
transfer learning
static analysis
bi directional
blocks world
multiple domains
artificial intelligence