Login / Signup
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