Generating performance distributions via probabilistic symbolic execution
Model-based performance prediction in software development: a survey