Comparing finite state machine test.

Adenilso da Silva Simão Alexandre Petrenko José Carlos Maldonado

Published in: IET Softw. (2009)

Keyphrases

finite state machines
model checking
state machine
finite state automata
hidden markov models
state transition
data sets
mutation testing
databases
knowledge base
database systems
test sequences
cellular automaton
digital circuits