DENARO, GIOVANNI

DENARO, GIOVANNI  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 71 (tempo di esecuzione: 0.038 secondi).
Titolo Tipologia Data di pubblicazione Autori File
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 01 - Articolo su rivista 2024 Mancino, DavideLeporati, AlbertoViviani, MarcoDenaro, Giovanni
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 01 - Articolo su rivista 2024 Clerissi D.Denaro G.Mobilio M.Mariani L.
Measuring Software Testability via Automatically Generated Test Cases 01 - Articolo su rivista 2024 Guglielmo, LucaMariani, LeonardoDenaro, Giovanni
Automated Test Case Generation for Safety-Critical Software in Scade 02 - Intervento a convegno 2023 Kurian, EBraione, PBriola, DModonato, MDenaro, G +
Automatically generating test cases for safety-critical software via symbolic execution 01 - Articolo su rivista 2023 Kurian E.Briola D.Braione P.Denaro G.
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 02 - Intervento a convegno 2023 Mancino, DLeporati, AViviani, MDenaro, G
GUI Testing to the Power of Parallel Q-Learning 02 - Intervento a convegno 2023 Mobilio M.Clerissi D.Denaro G.Mariani L.
Prevent: An Unsupervised Approach to Predict Software Failures in Production 01 - Articolo su rivista 2023 Denaro G.Pezzè M. +
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 02 - Intervento a convegno 2021 Denaro, GLeporati, A +
On introducing automatic test case generation in practice: A success story and lessons learned 01 - Articolo su rivista 2021 Brunetto M.Denaro G.Mariani L.Pezze M.
Reusing Solutions Modulo Theories 01 - Articolo su rivista 2021 Denaro, GPezze, M +
Towards Evidence-Based Testability Measurements 02 - Intervento a convegno 2021 Guglielmo, LucaRiboni, AndreaDenaro, Giovanni
Facilitating program performance profiling via evolutionary symbolic execution 01 - Articolo su rivista 2020 Braione P.Denaro G. +
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 02 - Intervento a convegno 2020 Clerissi D.Denaro G.Mobilio M.Mariani L.
Big-data applications as self-Adaptive systems of systems 02 - Intervento a convegno 2019 Denaro G. +
Design for testability of ermts applications 02 - Intervento a convegno 2019 Riboni A.Guglielmo L.Orru M.Braione P.Denaro G.
GUI testing in production: Challenges and opportunities 02 - Intervento a convegno 2019 Denaro G.Guglielmo L.Mariani L.Riganelli O.
SUSHI and TARDIS at the SBST2019 Tool Competition 02 - Intervento a convegno 2019 Braione P.Denaro G.
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 02 - Intervento a convegno 2019 Denaro G. +
SUSHI: A test generator for programs with complex structured inputs 02 - Intervento a convegno 2018 Braione, PietroDenaro, GiovanniPezzè, Mauro +