Mutation testing from probabilistic and stochastic finite state machines.
Robert M. HieronsMercedes G. MerayoPublished in: J. Syst. Softw. (2009)
Keyphrases
- mutation testing
- finite state machines
- test sequences
- test generation
- database applications
- state transition
- model checking
- test suite
- stochastic context free grammars
- test cases
- integration testing
- finite state automata
- hidden markov models
- probabilistic model
- bayesian networks
- black box
- pattern matching
- object oriented
- semi supervised
- case study