Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.

Ajay Chander Dinakar Dhurjati Koushik Sen Dachuan Yu

Published in: ICST (2011)

Keyphrases

finite state
finite state transducers
model checking
complex systems
markov chain
markov decision processes
continuous time bayesian networks
information retrieval
distributed systems
action sets
search algorithm
hidden markov models
probabilistic model
bit rate