A Case Study in Matching Test and Proof Coverage.

Yves Ledru Lydie du Bousquet Frédéric Dadeau F. Allouti

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

test suite
matching algorithm
set of test cases
data sets
feature points
test cases
pattern matching
test data
matching process
knowledge base
template matching
test bed
affine invariant