Path delay test generation at functional level.

Eduardas Bareisa Vacius Jusas Kestutis Motiejunas Rimantas Seinauskas

Published in: IET Comput. Digit. Tech. (2015)

Keyphrases

test generation
test cases
symbolic execution
design automation
database
image data
test sequences
artificial intelligence
decision trees
high quality
software testing
static analysis