Improved Test Generation for High-Activity Circuits.

Kewal K. Saluja Kyuchull Kim

Published in: IEEE Des. Test Comput. (1990)

Keyphrases

test generation
test cases
test sequences
design automation
static analysis
symbolic execution
databases
high speed
quality assurance
learning algorithm
high level
case study
knowledge management
human activities
software testing
mutation testing