DENARO GIOVANNI

Posizione organizzativa:
Ruolo:
Professore associato
Settore scientifico disciplinare:
Informatica (INF/01)
E-mail:
[email protected]
Telefono:
0264487810
Stanza:
  • 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). Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-18 [10.1109/TSE.2024.3366586]. Dettaglio

  • Denaro, G., Heydarov, R., Mohebbi, A., Pezzè, M. (2023). Prevent: An Unsupervised Approach to Predict Software Failures in Production. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(12), 5139-5153 [10.1109/TSE.2023.3327583]. Dettaglio

  • Kurian, E., Braione, P., Briola, D., D'Avino, D., Modonato, M., Denaro, G. (2023). Automated Test Case Generation for Safety-Critical Software in Scade. In Proceedings - International Conference on Software Engineering (pp.483-494). IEEE Computer Society [10.1109/ICSE-SEIP58684.2023.00049]. Dettaglio

  • Mobilio, M., Clerissi, D., Denaro, G., Mariani, L. (2023). GUI Testing to the Power of Parallel Q-Learning. In Proceedings - International Conference on Software Engineering (pp.55-59). IEEE Computer Society [10.1109/ICSE-Companion58688.2023.00024]. 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

Lista completa

Progetti di ricerca

PNRR per la Missione 4, componente 2 Investimento 1.1- Avviso 104/2022 | Big Sistah — Quantifying the wellbeing of multilingual remote workers in real-time
Anno: 2022
Bando: Bando PRIN 2022
Enti finanziatori: MINISTERO DELL'UNIVERSITA' E DELLA RICERCA (MUR)
DENARO-Fondo per il finanziamento delle attività base di ricerca
Anno: 2017
Bando: FFABR 2017
Enti finanziatori: M.I.U.R. - MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITA' E DELLA RICERCA - UFFICIO I - Bilancio e Contabilita'. Coordinamento staff della Direzione

Lista completa

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