Sign in

N-Gram Based Test Sequence Generation from Finite State Models.

Paolo TonellaRoberto TiellaCu D. Nguyen
Published in: FITTEST@ICTSS (2013)
Keyphrases
  • finite state
  • markov chain
  • model checking
  • finite state transducers
  • n gram
  • natural language
  • hidden markov models
  • markov decision processes
  • continuous time bayesian networks