Pubblicazioni

Testing concolic execution through consistency checks

2024 - THE JOURNAL OF SYSTEMS AND SOFTWARE
Coppa, E.; Izzillo, A.

Fuzzing Symbolic Expressions

2021 - 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil

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