Active Learning of Points-To Specifications.

Osbert Bastani Rahul Sharma Alex Aiken Percy Liang

Published in: CoRR (2017)

Keyphrases

active learning
high level
experimental design
learning strategies
feature points
data points
semi supervised
training examples
point sets
random sampling
supervised learning
d objects
endpoints
formal specification
learning algorithm
sample points
batch mode
selective sampling