DENARO, GIOVANNI

DENARO, GIOVANNI  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.02 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Towards Evidence-Based Testability Measurements 02 - Intervento a convegno 2021 Guglielmo, LucaRiboni, AndreaDenaro, Giovanni
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. +
Reusing Solutions Modulo Theories 01 - Articolo su rivista 2021 Denaro, GPezze, M +
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.
Facilitating program performance profiling via evolutionary symbolic execution 01 - Articolo su rivista 2020 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.
Big-data applications as self-Adaptive systems of systems 02 - Intervento a convegno 2019 Denaro G. +
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 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.
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 02 - Intervento a convegno 2018 Denaro, Giovanni +
SUSHI: A test generator for programs with complex structured inputs 02 - Intervento a convegno 2018 Braione, PietroDenaro, GiovanniPezzè, Mauro +
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 02 - Intervento a convegno 2017 DENARO, GIOVANNIPEZZE', MAURO +
Combining symbolic execution and search-based testing for programs with complex heap inputs 02 - Intervento a convegno 2017 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
JBSE: A symbolic executor for Java programs with complex heap inputs 02 - Intervento a convegno 2016 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Bidirectional Symbolic Analysis for Effective Branch Testing 01 - Articolo su rivista 2016 DENARO, GIOVANNIPEZZE', MAURO +
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 03 - Contributo in libro 2015 BRAIONE, PIETRODENARO, GIOVANNIRIGANELLI, OLIVIERO +
Symbolic execution of programs with heap inputs 02 - Intervento a convegno 2015 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Reusing constraint proofs in program analysis 02 - Intervento a convegno 2015 DENARO, GIOVANNIPEZZE', MAURO +