Login / Signup

Test Selection Based on Finite State Models.

Susumu FujiwaraGregor von BochmannFerhat KhendekMokhtar AmalouAbderrazak 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