Defining and Providing Coverage for Assertion-Based Dynamic Verification.

Jason G. Tong Marc Boule Zeljko Zilic

Published in: J. Electron. Test. (2010)

Keyphrases

databases
model checking
database
genetic algorithm
decision trees
digital images
dynamic environments