Gentest: An Automatic Test-Generation System for Sequential Circuits.

Wu-Tung Cheng Tapan J. Chakraborty

Published in: Computer (1989)

Keyphrases

test generation
test cases
test sequences
static analysis
design automation
symbolic execution
high speed
databases
cooperative
quality assurance
machine learning
e learning
test set