Learning Likely Invariants to Explain Why a Program Fails.

Long H. Pham Jun Sun Lyly Tran Thi Jingyi Wang Xin Peng

Published in: ICECCS (2017)

Keyphrases

learning algorithm
learning process
supervised learning
neural network
prior knowledge
learning systems
data sets
active learning
data mining
artificial intelligence
knowledge base
website
reinforcement learning
unsupervised learning
learning tasks
incremental learning