Conformance Testing of Protocol Machines without Reset.

Ming Yu Yao Alexandre Petrenko Gregor von Bochmann

Published in: PSTV (1993)

Keyphrases

protocol specification
lightweight
security protocols
multi party
coloured petri nets
test cases
tcp ip
learning machines
communication protocol
formal analysis
case study
software testing
parallel machines
flowshop
end to end
test set
reinforcement learning