Login / Signup
Test Selection Based on Finite State Models.
Susumu Fujiwara
Gregor von Bochmann
Ferhat Khendek
Mokhtar Amalou
Abderrazak Ghedamsi
Published in:
IEEE Trans. Software Eng. (1991)
Keyphrases
</>
finite state
markov chain
markov decision processes
probabilistic model
model checking
finite state transducers
continuous time bayesian networks
natural language