Experience with test generation for real protocols.

Deepinder P. Sidhu Ting-Kau Leung

Published in: SIGCOMM (1988)

Keyphrases

test generation
test cases
design automation
static analysis
test sequences
symbolic execution
data sets
mutation testing
quality assurance
high quality
real world
software testing
petri net
image data
relational databases
information technology
database