Pubblicazioni

Testing concolic execution through consistency checks

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

Rethinking Pointer Reasoning in Symbolic Execution

2017 - ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil

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