Are My Invariants Valid? A Learning Approach.

Vincent J. Hellendoorn Premkumar T. Devanbu Oleksandr Polozov Mark Marron

Published in: CoRR (2019)

Keyphrases

learning algorithm
learning process
support vector
data sets
genetic algorithm
reinforcement learning
concept learning
inductive inference
neural network
image sequences
knowledge acquisition
empirical studies
learning systems
learning analytics