Probabilistic test generation