DENARO, GIOVANNI
DENARO, GIOVANNI
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Towards Evidence-Based Testability Measurements
2021 Guglielmo, L; Riboni, A; Denaro, G
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
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data
2020 Clerissi, D; Denaro, G; Mobilio, M; Mariani, L
Facilitating program performance profiling via evolutionary symbolic execution
2020 Aquino, A; Braione, P; Denaro, G; Salza, P
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
Big-data applications as self-Adaptive systems of systems
2019 Baresi, L; Denaro, G; Quattrocchi, G
Symbolic execution-driven extraction of the parallel execution plans of Spark applications
2019 Baresi, L; Denaro, G; Quattrocchi, G
Design for testability of ermts applications
2019 Riboni, A; Guglielmo, L; Orru, M; Braione, P; Denaro, G
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution
2018 Aquino, A; Denaro, G; Salza, P
SUSHI: A test generator for programs with complex structured inputs
2018 Braione, P; Denaro, G; Mattavelli, A; Pezzè, M
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions
2017 Aquino, A; Denaro, G; Pezze', M
Combining symbolic execution and search-based testing for programs with complex heap inputs
2017 Braione, P; Denaro, G; Mattavelli, A; Pezze', M
JBSE: A symbolic executor for Java programs with complex heap inputs
2016 Braione, P; Denaro, G; Pezze', M
Bidirectional Symbolic Analysis for Effective Branch Testing
2016 Baluda, M; Denaro, G; Pezze', M
Static/dynamic test case generation for software upgrades via ARC-B and deltatest
2015 Braione, P; Denaro, G; Riganelli, O; Baluda, M; Muhammad, A
Symbolic execution of programs with heap inputs
2015 Braione, P; Denaro, G; Pezze', M
Reusing constraint proofs in program analysis
2015 Aquino, A; Bianchi, F; Chen, M; Denaro, G; Pezze', M