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[doi] [Google Scholar] [DBLP] [Citeseer]
2019 IEEE Symposium on Visualization for Cyber Security (VizSec)
Volume
Pages 1-11
Oct 2019
Note(s): verification profiling
Volume
Pages 1-11
Oct 2019
Note(s): verification profiling