Login / Signup

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.

Karnig DerderianRobert M. HieronsMark HarmanQiang Guo
Published in: GECCO (2005)
Keyphrases
  • finite state machines
  • hidden markov models
  • model checking
  • finite state automata
  • input data
  • sequential patterns
  • regular expressions
  • text mining