Automatic generation of high quality test sets via CBMC.

Emanuele Di Rosa Enrico Giunchiglia Massimo Narizzano Gabriele Palma Alessandra Puddu

Published in: VERIFY@IJCAR (2010)

Keyphrases

test set
high quality
training set
error rate
training data
automatically generate
low quality
image quality
evaluation methodology
test data
high resolution
ground truth
higher quality
test cases
depth map
automatic extraction
real time
model selection
generation method
random selection