Probabilistic symbolic execution.

Jaco Geldenhuys Matthew B. Dwyer Willem Visser

Published in: ISSTA (2012)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
databases
open source
real world
artificial intelligence
high level
general purpose
knowledge management
simulated annealing
orders of magnitude