Automatic Inference of Necessary Preconditions.

Patrick Cousot Radhia Cousot Manuel Fähndrich Francesco Logozzo

Published in: VMCAI (2013)

Keyphrases

fully automatic
probabilistic inference
bayesian networks
semi automatic
explanation based learning
inference process
neural network
image processing
web services
case study
knowledge representation
dynamic bayesian networks