A Well-Defined Estelle Specification for the Automatic Test Generation.

Do Y. Lee Jai-Yong Lee

Published in: IEEE Trans. Computers (1991)

Keyphrases

test generation
test cases
test sequences
design automation
static analysis
symbolic execution
high level
user defined
computer vision
software testing
artificial intelligence
machine vision
quality assurance
specification language
relational databases
multi agent
case study