Test Case Generation for Protocols Specified in Estelle.

Woojik Chun Paul D. Amer

Published in: FORTE (1990)

Keyphrases

test case generation
test cases
software testing
object oriented systems
test data generation
test suite
static analysis
software development
java programs
artificial intelligence
high level
object oriented
highly efficient