Dettaglio pubblicazione
2018, ACM COMPUTING SURVEYS, Pages - (volume: 51)
A Survey of Symbolic Execution Techniques (01a Articolo in rivista)
Baldoni Roberto, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Finocchi Irene
Gruppo di ricerca: Cybersecurity
keywords