An Improved Protocol Test Generation Procedure Based on UIOS.

W. Y. L. Chan C. T. Vuong M. R. Otp

Published in: SIGCOMM (1989)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
quality assurance
lightweight
software testing
static analysis
case study
mutation testing
databases
regression testing
test data generation