Abstractions from tests.

Mayur Naik Hongseok Yang Ghila Castelnuovo Mooly Sagiv

Published in: POPL (2012)

Keyphrases

high level
multiscale
statistical tests
data sets
computer vision
image processing
multimedia
website
image sequences
training set
test cases
multiple choice questions