Functional test generation using design and property decomposition techniques.

Heon-Mo Koo Prabhat Mishra

Published in: ACM Trans. Embed. Comput. Syst. (2009)

Keyphrases

test generation
design automation
case study
building blocks
computer aided
database systems
user interface
test cases
software testing
functional verification