Markov Chain Monte Carlo Stimulus Generation For Constrained Random Simulation