Generating Checking Sequences for Nondeterministic Finite State Machines.

Alexandre Petrenko Adenilso da Silva Simão Nina Yevtushenko

Published in: ICST (2012)

Keyphrases

finite state machines
hidden markov models
finite state automata
model checking
regular expressions
finite state
generation process
finite automata
digital circuits
databases
image quality
pattern matching
integrity constraints
sequential patterns