SymNav: Visually Assisting Symbolic Execution (English)
Free access
- New search for: Marco Angelini
- New search for: Graziano Blasilli
- New search for: Luca Borzacchiello
- New search for: Emilio Coppa
- New search for: Daniele Cono D’Elia
- New search for: Camil Demetrescu
- New search for: Simone Lenti
- New search for: Simone Nicchi
- New search for: Giuseppe Santucci
- New search for: Marco Angelini
- New search for: Graziano Blasilli
- New search for: Luca Borzacchiello
- New search for: Emilio Coppa
- New search for: Daniele Cono D’Elia
- New search for: Camil Demetrescu
- New search for: Simone Lenti
- New search for: Simone Nicchi
- New search for: Giuseppe Santucci
- New search for: Angelini, Marco
- New search for: Blasilli, Graziano
- New search for: Borzacchiello, Luca
- New search for: Coppa, Emilio
- New search for: D'Elia, DANIELE CONO
- New search for: Demetrescu, Camil
- New search for: Lenti, Simone
- New search for: Nicchi, Simone
- New search for: Santucci, Giuseppe
- Conference paper / Electronic Resource
-
Title:SymNav: Visually Assisting Symbolic Execution
-
Contributors:Marco Angelini ( author ) / Graziano Blasilli ( author ) / Luca Borzacchiello ( author ) / Emilio Coppa ( author ) / Daniele Cono D’Elia ( author ) / Camil Demetrescu ( author ) / Simone Lenti ( author ) / Simone Nicchi ( author ) / Giuseppe Santucci ( author ) / Angelini, Marco
-
Publication date:2019-01-01
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 004 -
Source: