Efficient state merging in symbolic execution.

Volodymyr Kuznetsov Johannes Kinder Stefan Bucur George Candea

Published in: PLDI (2012)

Keyphrases

symbolic execution
data sets
databases
neural network
artificial intelligence
test generation
relational databases
search space
simulated annealing
pattern matching
static analysis