An Estelle Based Test Generation Tool for Modular Specifications.

Behdad Forghani Srinivas Eswara Vassilios N. Koukoulidis Behçet Sarikaya

Published in: FORTE (1989)

Keyphrases

test generation
test cases
test sequences
unit testing
software testing
static analysis
design automation
symbolic execution
databases
real world
quality assurance
image processing
high level
xml documents
data warehouse
formal specification