FANHAT: fanout oriented hierarchical automatic test generation system.

Hyoung B. Min William A. Rogers Hwei-Tsu Ann Luh

Published in: ICCAD (1989)

Keyphrases

test generation
design automation
symbolic execution
quality assurance
test cases
test sequences
static analysis
hierarchical structure
software testing
code coverage
mutation testing
databases
computer vision
information technology
data model