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

Paolo Tonella Roberto Tiella Cu 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