Login / Signup
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