Sign in
SymNav: Visually Assisting Symbolic Execution.
Marco Angelini
Graziano Blasilli
Luca Borzacchiello
Emilio Coppa
Daniele Cono D'Elia
Camil Demetrescu
Simone Lenti
Simone Nicchi
Giuseppe Santucci
Published in:
VizSEC (2019)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
test cases
data sets
databases
search algorithm
data model
optimization algorithm
orders of magnitude