Automatic repair of buggy if conditions and missing preconditions with SMT.

Favio Demarco Jifeng Xuan Daniel Le Berre Martin Monperrus

Published in: CSTVA (2014)

Keyphrases

sufficient conditions
missing values
domain knowledge
data driven
fully automatic
environmental conditions
machine learning
reinforcement learning
missing data
context sensitive
incomplete data