A Protocol Test Generation Procedure.

Krishan K. Sabnani Anton T. Dahbura

Published in: Comput. Networks (1988)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
lightweight
quality assurance
mutation testing
design automation
database
databases
machine learning
decision trees