Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs.

Christina Jansen Florian Göbe Thomas Noll

Published in: ICGT (2014)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
source code
specification language
data flow
test cases
machine learning
inductive logic programming
object oriented
neural network
search algorithm
programming language
open source
simulated annealing