Protocol Conformance Test Generation Using a Graph Rewriting System.

Ana R. Cavalli Sung Un Kim

Published in: Protocol Test Systems (1991)

Keyphrases

test generation
rewriting systems
test cases
test sequences
symbolic execution
design automation
static analysis
rewriting rules
protocol specification
quality assurance
software testing
mutation testing
learning algorithm
rewrite rules