HITEC: a test generation package for sequential circuits.

Thomas M. Niermann Janak H. Patel

Published in: EURO-DAC (1991)

Keyphrases

test generation
test cases
test sequences
symbolic execution
quality assurance
design automation
software testing
static analysis
mutation testing
delay insensitive
test data generation
information systems