Login / Signup
Iterative distribution-aware sampling for probabilistic symbolic execution.
Mateus Borges
Antonio Filieri
Marcelo d'Amorim
Corina S. Pasareanu
Published in:
ESEC/SIGSOFT FSE (2015)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
specification language
bayesian networks
probability distribution
source code
case study
high level
general purpose
data flow