Towards evaluating fault coverage of protocol test sequences.

Jinsong Zhu Samuel T. Chanson

Published in: PSTV (1994)

Keyphrases

test sequences
test cases
video sequences
bit rate
test generation
mutation testing
lightweight
formal analysis
learning algorithm
database systems
cryptographic protocols
network protocols
case study
tcp ip