Test Selection for Hierarchical and Communicating Finite State Machines.

Florentin Ipate

Published in: Comput. J. (2009)

Keyphrases

finite state machines
finite state automata
model checking
mutation testing
hidden markov models
regular expressions
software testing
database systems
data integration
hierarchical structure
selection strategy
communication channels
test suite