A Survey of Symbolic Execution Techniques (English)
Free access
- New search for: Baldoni, Roberto
- New search for: Coppa, Emilio
- New search for: D'Elia, Daniele Cono
- New search for: Demetrescu, Camil
- New search for: Finocchi, Irene
- New search for: Baldoni, Roberto
- New search for: Coppa, Emilio
- New search for: D'Elia, Daniele Cono
- New search for: Demetrescu, Camil
- New search for: Finocchi, Irene
- New search for: Baldoni, Roberto
- New search for: Coppa, Emilio
- New search for: D'Elia, Daniele Cono
- New search for: Demetrescu, Camil
- New search for: Finocchi, Irene
- Article (Journal) / Electronic Resource
-
Title:A Survey of Symbolic Execution Techniques
-
Contributors:Baldoni, Roberto ( author ) / Coppa, Emilio ( author ) / D'Elia, Daniele Cono ( author ) / Demetrescu, Camil ( author ) / Finocchi, Irene ( author ) / Baldoni, Roberto / Coppa, Emilio / D'Elia, Daniele Cono / Demetrescu, Camil / Finocchi, Irene
-
Publication date:2018-01-01
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 004 -
Source: