Login / Signup

Generating Checking Sequences for Partial Reduced Finite State Machines.

Adenilso da Silva SimãoAlexandre Petrenko
Published in: TestCom/FATES (2008)
Keyphrases
  • finite state machines
  • hidden markov models
  • model checking
  • finite state automata
  • digital circuits
  • sequential patterns
  • knowledge base
  • database systems
  • regular expressions
  • test sequences
  • long sequences