DENARO, GIOVANNI
DENARO, GIOVANNI
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake
2024 Mancino, D; Leporati, A; Viviani, M; Denaro, G
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing
2024 Clerissi, D; Denaro, G; Mobilio, M; Mariani, L
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency
2024 Clerissi, D; Denaro, G; Mobilio, M; Mariani, L
Measuring Software Testability via Automatically Generated Test Cases
2024 Guglielmo, L; Mariani, L; Denaro, G
Automated Test Case Generation for Safety-Critical Software in Scade
2023 Kurian, E; Braione, P; Briola, D; D'Avino, D; Modonato, M; Denaro, G
Automatically generating test cases for safety-critical software via symbolic execution
2023 Kurian, E; Briola, D; Braione, P; Denaro, G
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies
2023 Mancino, D; Leporati, A; Viviani, M; Denaro, G
GUI Testing to the Power of Parallel Q-Learning
2023 Mobilio, M; Clerissi, D; Denaro, G; Mariani, L
Prevent: An Unsupervised Approach to Predict Software Failures in Production
2023 Denaro, G; Heydarov, R; Mohebbi, A; Pezzè, M
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control
2021 Calani, M; Denaro, G; Leporati, A
On introducing automatic test case generation in practice: A success story and lessons learned
2021 Brunetto, M; Denaro, G; Mariani, L; Pezze, M
Reusing Solutions Modulo Theories
2021 Aquino, A; Denaro, G; Pezze, M
Towards Evidence-Based Testability Measurements
2021 Guglielmo, L; Riboni, A; Denaro, G
Facilitating program performance profiling via evolutionary symbolic execution
2020 Aquino, A; Braione, P; Denaro, G; Salza, P
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data
2020 Clerissi, D; Denaro, G; Mobilio, M; Mariani, L
Big-data applications as self-Adaptive systems of systems
2019 Baresi, L; Denaro, G; Quattrocchi, G
Design for testability of ermts applications
2019 Riboni, A; Guglielmo, L; Orru, M; Braione, P; Denaro, G
GUI testing in production: Challenges and opportunities
2019 Denaro, G; Guglielmo, L; Mariani, L; Riganelli, O
SUSHI and TARDIS at the SBST2019 Tool Competition
2019 Braione, P; Denaro, G
Symbolic execution-driven extraction of the parallel execution plans of Spark applications
2019 Baresi, L; Denaro, G; Quattrocchi, G