A Markov Decision Approach to Optimize Testing Profile in Software Testing | IEEE Conference Publication | IEEE Xplore