Login / Signup
Statistical Symbolic Execution with Informed Sampling.
Antonio Filieri
Corina S. Pasareanu
Willem Visser
Jaco Geldenhuys
Published in:
Software Engineering & Management (2015)
Keyphrases
</>
symbolic execution
test data generation
test generation
static analysis
source code
specification language
data sets
neural network
data flow