Improved On-the-fly Verification with Testers.

Timo Latvala Heikki Tauriainen

Published in: Nord. J. Comput. (2004)

Keyphrases

model checking
test cases
face verification
data sets
real world
clustering algorithm
multiscale
digital libraries
end users
digital images
improved algorithm
formal methods
verification method