Home » Publication » 17111

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

keywords

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma