Generating performance distributions via probabilistic symbolic execution.

Bihuan Chen Yang Liu Wei Le

Published in: ICSE (2016)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
probability distribution
source code
test cases
data flow
probabilistic model
specification language
database
data sets
bayesian networks
neural network
query processing
simulated annealing algorithm