Generating performance distributions via probabilistic symbolic execution
Korat: automated testing based on Java predicates