Sign in
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