Automatic loop-invariant generation and refinement through selective sampling.

Jiaying Li Jun Sun Li Li Quang Loc Le Shang-Wei Lin

Published in: ASE (2017)

Keyphrases

selective sampling
active learning
random sampling
feature selection
high dimensional
data sets
e learning
unlabeled data
unlabeled examples