Pubblicazioni

Testing concolic execution through consistency checks

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

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