DAReing to reduce the annotation overheads of verified programs.

Gudmund Grov Duncan Cameron Léon McGregor

Published in: CoRR (2017)

Keyphrases

significantly reduced
metadata
database
active learning
computer programs
automatic image annotation
manual annotation
automatic programming
real world
training data
semantic annotation
automatic indexing