DENARO GIOVANNI
- U14, Floor: 2, Room: 2012
Publications
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]. Detail
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]. Detail
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]. Detail
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]. Detail
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]. Detail
Research projects
Awards
Awards
- Best paper award, European Conference on Software Maintenance and Reengineering, 2013
Research and teaching assignments
- Visiting Researcher - Research Fellow appointment at University College London (UCL) - Durata 6 mesi. - University College London, 2003
-
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