Construction of global finite state machine for testing task interactions written in message sequence charts.

Nam Hee Lee Tai Hyo Kim Sung Deok Cha

Published in: SEKE (2002)

Keyphrases

finite state machines
state machine
model checking
state transition
finite state automata
regular expressions
digital circuits
databases
high level
hidden markov models
message exchange
object oriented
cellular automaton