Statistical symbolic execution with informed sampling.

Antonio Filieri Corina S. Pasareanu Willem Visser Jaco Geldenhuys

Published in: SIGSOFT FSE (2014)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
data sets
neural network
artificial intelligence
search algorithm
multi agent systems
programming language
orders of magnitude