Learning Assertions to Verify Linked-List Programs.

Jan Tobias Mühlberg David H. White Mike Dodds Gerald Lüttgen Frank Piessens

Published in: SEFM (2015)

Keyphrases

learning process
learning algorithm
machine learning
empirical studies
inductive inference
learning systems
learning problems
data sets
social networks
knowledge base
feature space
online learning
unsupervised learning
incremental learning