Pubblicazioni

Artificial intelligence applied to software testing. A tertiary study

2023 - ACM COMPUTING SURVEYS
Amalfitano, Domenico; Faralli, Stefano; Carlo Rossa Hauck, Jean; Matalonga, Santiago; Distante, Damiano

A Survey of Symbolic Execution Techniques

2018 - ACM COMPUTING SURVEYS
Baldoni, Roberto; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene

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