A Unified Approach to Protocol Test Sequence Generation.

Samuel T. Chanson Jinsong Zhu

Published in: INFOCOM (1993)

Keyphrases

digital libraries
information systems
lightweight
test cases
formal analysis
database systems
pairwise
input data
distributed databases
statistical significance
pseudorandom
tcp ip
file transfer
coloured petri nets