Functional versus random test generation for sequential circuits.

Margot Karam Gabriele Saucier

Published in: J. Electron. Test. (1993)

Keyphrases

test generation
test cases
test sequences
symbolic execution
static analysis
quality assurance
design automation
software testing
high speed
mutation testing
regression testing
artificial intelligence
real world
cooperative
petri net
monitoring system