Deriving complete finite tests based on state machines.

Igor B. Burdonov Alexander S. Kossatchev Nina Yevtushenko

Published in: EWDTS (2014)

Keyphrases

state machines
state machine
petri net
sequence diagrams
recurrent networks
learning algorithm
case study
hidden markov models