Optimal software testing in the setting of controlled Markov chains.
Kai-Yuan CaiYong-Chao LiWei-Yi NingPublished in: Eur. J. Oper. Res. (2005)
Keyphrases
- markov chain
- software testing
- test cases
- steady state
- transition probabilities
- software development
- markov model
- markov process
- finite state
- markov processes
- stochastic process
- software reliability
- random walk
- quality assurance
- software systems
- state space
- test data generation
- testing process
- white box testing
- probabilistic automata
- regression testing
- dynamic programming
- optimal solution
- transition matrix
- integration testing
- test case generation
- test suite
- artificial intelligence
- software engineering
- e learning