Automatic test-generation and test-verification of digital systems.

P. Verma D. M. Selove J. N. Tessier

Published in: DAC (1974)

Keyphrases

test generation
design automation
test cases
symbolic execution
test sequences
quality assurance
code coverage
software testing
regression testing
asynchronous circuits
test data generation
databases
real world
mutation testing
information systems
knowledge management