Generating Test Sequences and their Degrees of Indeterminism for Protocols.

To-Yat Cheung Youwen Wu Xinming Ye

Published in: PSTV (1991)

Keyphrases

test sequences
test cases
video sequences
bit rate
test generation
cryptographic protocols
mutation testing
computational complexity
database
machine learning
learning algorithm
three dimensional
multi agent systems
software development
automatically generating
communication protocol