Login / Signup
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT.
Favio Demarco
Jifeng Xuan
Daniel Le Berre
Martin Monperrus
Published in:
CoRR (2014)
Keyphrases
</>
missing data
fully automatic
sufficient conditions
missing values
explanation based learning
real time
semi automatic
data sets
neural network
machine learning
information retrieval
learning algorithm
e learning
bayesian networks
natural language
data driven