Functional Test Generation for FSMs by Fault Extraction.

Bapiraju Vinnakota Jason Andrews

Published in: DAC (1994)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
finite state machines
mutation testing
fault detection
information extraction
static analysis
fault diagnosis
software testing
regression testing
code coverage
quality assurance
databases
test set
image data
expert systems