Efficient system evaluation using stochastic models