Comparison of Verification Methodologies for Datapath Testing.

Published in: MTV (2003)

Keyphrases

formal verification
test generation
data mining
feature selection
relational databases
test cases
face verification
symbolic execution
database
real time
databases
learning algorithm
clustering algorithm
multiscale
learning environment