Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.

Alexandre Petrenko

Published in: MOVEP (2000)

Keyphrases

finite state
markov chain
markov decision processes
continuous time bayesian networks
model checking
data mining
finite state transducers
average cost
natural language parsing