A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems