Output Hazard-Free Transition Delay Fault Test Generation.

Sreekumar Menon Adit D. Singh Vishwani D. Agrawal

Published in: VTS (2009)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
state transition
quality assurance
fault diagnosis
static analysis
mutation testing
fault detection
risk assessment
metadata
code coverage
software testing
database
test suite
learning algorithm