Estelle-based test generation tool.

Behçet Sarikaya Behdad Forghani Srinivas Eswara

Published in: Comput. Commun. (1991)

Keyphrases

test generation
test cases
test sequences
test data generation
symbolic execution
static analysis
design automation
artificial intelligence
software application