Test generation for highly sequential circuits.

Abhijit Ghosh Srinivas Devadas A. Richard Newton

Published in: ICCAD (1989)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
software testing
quality assurance
circuit design
image processing
high quality
high speed
mutation testing
computer vision
regression testing
test data generation