Data-driven precondition inference with learned features.

Saswat Padhi Rahul Sharma Todd D. Millstein

Published in: PLDI (2016)

Keyphrases

data driven
efficient learning
case study
feature extraction
feature vectors
prior knowledge
classification accuracy
feature set
probabilistic inference
inference process
real time
bayesian inference
svm classifier
graphical models
feature space
artificial intelligence
neural network