Verification Coverage.

Rodrigo Castaño Víctor A. Braberman Diego Garbervetsky Sebastián Uchitel

Published in: CoRR (2017)

Keyphrases

model checking
face verification
signature verification
formal verification
verification method
information retrieval
genetic algorithm
decision making
image processing
image segmentation
multiscale
test suite
information redundancy