Rethinking pointer reasoning in symbolic execution.

Emilio Coppa Daniele Cono D'Elia Camil Demetrescu

Published in: ASE (2017)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
specification language
source code
data structure
neural network
general purpose
query processing
distributed systems
building blocks
machine vision
data flow
simulated annealing algorithm