Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model | IEEE Conference Publication | IEEE Xplore