Mixed structural-functional path delay test generation and compaction.

Kun Bian D. M. H. Walker Sunil P. Khatri Shayak Lahiri

Published in: DFTS (2013)

Keyphrases

test generation
test cases
design automation
symbolic execution
test sequences
static analysis
mutation testing
quality assurance
test data generation
shortest path
destination node
data sets
software testing
relational databases
decision trees
code coverage
computer vision