Deterministic test generation for non-classical faults on the gate level.

Udo Mahlstedt Jürgen Alt Ingo Hollenbeck

Published in: Asian Test Symposium (1995)

Keyphrases

test generation
test cases
mutation testing
design automation
test sequences
machine learning
software testing
symbolic execution
fault diagnosis
information systems
high level
database systems
test suite
quality assurance