Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods | IEEE Journals & Magazine | IEEE Xplore