Generating conformance tests for nondeterministic protocol machines.

Published in: J. Comput. Sci. Technol. (1994)

Keyphrases

protocol specification
finite state
cryptographic protocols
petri net
automatically generating
communication protocol
real time
database systems
test cases
statistical tests
formal analysis
initial state
finite automata
communication protocols
network simulator