Interval counterexamples for loop invariant learning.

Rongchen Xu Fei He Bow-Yaw Wang

Published in: ESEC/SIGSOFT FSE (2020)

Keyphrases

genetic algorithm
learning process
neural network
learning algorithm
active learning
learning systems
decision making
prior knowledge
online learning
learning problems
learning models
supervised learning
learning tasks
incremental learning
learning analytics
inductive inference