DENARO GIOVANNI
- U14, Piano: 2, Stanza: 2012
Biografia
Laureato in Ingegneria Informatica presso il Politecnico di Milano, e Dottore di Ricerca (PhD) in Ingegneria Informatica e Automatica presso il Politecnico di Milano. Ha svolto attività di ricerca presso Politecnico di Milano, CEFRIEL, University College London (UCL), Università della Svizzera Italiana (USI) e Università degli Studi di Milano-Bicocca, dove attualmente lavora come Professore Associato. Ha collaborato a progetti di ricerca nazionali e europei, fra cui: LAW (EU ESPRIT 22117), PROMOTE (ESSI 27907), SegraVis (EU Network) e QUACK (MIUR), COMMUTA (MIUR), SHADOWS (EU STREP), Pincette (EU-Horizon2020), TOISE (EU-Enjac). Ha servito come program chair della conferenze internazionali SOQUA 2007 e HICSS 2007 (minitrack on Automated Software Testing), e come membro nei comitati di programma di molte conferenze internazionali, incluse ISSTA, ASE e ICSE. I suoi principali interessi di ricerca sono nell’ingegneria del software, con particolare enfasi su metodi e tecniche per il test e l’analisi del sofrware.
Pubblicazioni
Clerissi, D., Denaro, G., Mobilio, M., Mariani, L. (2024). DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 50(9), 2412-2436 [10.1109/TSE.2024.3439002]. Dettaglio
Mancino, D., Leporati, A., Viviani, M., Denaro, G. (2024). A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake. DISTRIBUTED LEDGER TECHNOLOGIES [10.1145/3672405]. Dettaglio
Clerissi, D., Denaro, G., Mobilio, M., Mariani, L. (2024). Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 50(4), 836-853 [10.1109/TSE.2024.3366586]. Dettaglio
Guglielmo, L., Mariani, L., Denaro, G. (2024). Measuring Software Testability via Automatically Generated Test Cases. IEEE ACCESS, 12, 63904-63916 [10.1109/access.2024.3396625]. Dettaglio
Kurian, E., Briola, D., Braione, P., Denaro, G. (2023). Automatically generating test cases for safety-critical software via symbolic execution. THE JOURNAL OF SYSTEMS AND SOFTWARE, 199 [10.1016/j.jss.2023.111629]. Dettaglio
Progetti di ricerca
Premi e responsabilità scientifiche
Premi
- Best paper award, European Conference on Software Maintenance and Reengineering, 2013
Incarichi di insegnamento o ricerca
-
Attivita' di insegnamento - Incarico di insegnamento per l'anno accademico 2017-2018 per la docenza del corso "Software Engineering" nell'ambito del Master in Informatics, del Master in Management & Informatics e del Master in Software & Data
Engineering - Durata 12 mesi. - Università della Svizzera Italiana (USI), 2017 - 2018 - Visiting Researcher - Research Fellow appointment at University College London (UCL) - Durata 6 mesi. - University College London, 2003