Nondeterministic State Machines in Protocol Conformance Testing.

Alexandre Petrenko Nina Yevtushenko Alexandre Lebedev Anindya Das

Published in: Protocol Test Systems (1993)

Keyphrases

state machines
state machine
petri net
recurrent networks
sequence diagrams
test cases
web services
expert systems
fault tolerant
finite state machines
software testing
reactive systems