Diagnostic test generation for sequential circuits.

Xiaoming Yu Jue Wu Elizabeth M. Rudnick

Published in: ITC (2000)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
quality assurance
software testing
static analysis
mutation testing
expert systems
decision making
high speed
circuit design
regression testing
test data generation
human visual system