Giovanni Denaro

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 34

Top Topics

Symbolic Execution

Automatically Generate

Modulo Theories

Object Oriented

Top Venues

IEEE Trans. Software Eng.

Commun. Nonlinear Sci. Numer. Simul.

Publications

Giovanni Denaro, Noura El Moussa, Rahim Heydarov, Francesco Lomio, Mauro Pezzè, Ketai Qiu
Predicting Failures of Autoscaling Distributed Applications. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE Trans. Software Eng. 50 (4) (2024)
Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
Measuring Software Testability via Automatically Generated Test Cases. IEEE Access 12 (2024)
Pietro Braione, Giovanni Denaro
Path-optimal symbolic execution of heap-manipulating programs. CoRR (2024)
Giovanni Denaro, Luciano Curcio, Alessandro Borri, Laura D'Orsi, Andrea De Gaetano
A dynamic integrated model for mercury bioaccumulation in marine organisms. Ecol. Informatics 75 (2023)
Davide Mancino, Alberto Leporati, Marco Viviani, Giovanni Denaro
Exploiting Ethereum after "The Merge": The Interplay between PoS and MEV Strategies. ITASEC (2023)
Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
Measuring Software Testability via Automatically Generated Test Cases. CoRR (2023)
Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani
GUI Testing to the Power of Parallel Q-Learning. ICSE Companion (2023)
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
Prevent: An Unsupervised Approach to Predict Software Failures in Production. IEEE Trans. Software Eng. 49 (12) (2023)
Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro
Automated Test Case Generation for Safety-Critical Software in Scade. ICSE-SEIP (2023)
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
Automatically generating test cases for safety-critical software via symbolic execution. J. Syst. Softw. 199 (2023)
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution. CoRR (2022)
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
PREVENT: An Unsupervised Approach to Predict Software Failures in Production. CoRR (2022)
Luca Guglielmo, Andrea Riboni, Giovanni Denaro
Towards Evidence-Based Testability Measurements. ICSE (NIER) (2021)
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
On introducing automatic test case generation in practice: A success story and lessons learned. J. Syst. Softw. 176 (2021)
Andrea Aquino, Giovanni Denaro, Mauro Pezzè
Reusing Solutions Modulo Theories. IEEE Trans. Software Eng. 47 (5) (2021)
H. Awada, Salvatore Aronica, Angelo Bonanno, G. Basilone, S. W. Zgozi, Giovanni Giacalone, Ignazio Fontana, S. Genovese, R. Ferreri, S. Mazzola, Bernardo Spagnolo, Davide Valenti, Giovanni Denaro
A novel method to simulate the 3D chlorophyll distribution in marine oligotrophic waters. Commun. Nonlinear Sci. Numer. Simul. 103 (2021)
Luca Guglielmo, Andrea Riboni, Giovanni Denaro
Towards Evidence-based Testability Measurements. CoRR (2021)
Massimiliano Calani, Giovanni Denaro, Alberto Leporati
Exploiting the Blockchain to Guarantee GDPR Compliance while Consents Evolve under Data Owners' Control. ITASEC (2021)
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned. CoRR (2021)
Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza
Facilitating program performance profiling via evolutionary symbolic execution. Softw. Test. Verification Reliab. 30 (2) (2020)
Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. ASE (2020)
Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi
Big-Data Applications as Self-Adaptive Systems of Systems. ISSRE Workshops (2019)
Andrew Morozov, Giovanni Denaro, Bernardo Spagnolo, Davide Valenti
Revisiting the role of top-down and bottom-up controls in stabilisation of nutrient-rich plankton communities. Commun. Nonlinear Sci. Numer. Simul. 79 (2019)
Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi
Symbolic execution-driven extraction of the parallel execution plans of Spark applications. ESEC/SIGSOFT FSE (2019)
Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
GUI testing in production: challenges and opportunities. Programming (2019)
Pietro Braione, Giovanni Denaro
SUSHI and TARDIS at the SBST2019 tool competition. SBST@ICSE (2019)
Andrea Riboni, Luca Guglielmo, Matteo Orrù, Pietro Braione, Giovanni Denaro
Design for Testability of ERMTS Applications. ISSRE Workshops (2019)
Andrea Aquino, Giovanni Denaro, Pasquale Salza
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution. ISSRE (2018)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
SUSHI: a test generator for programs with complex structured inputs. ICSE (Companion Volume) (2018)
Andrea Aquino, Giovanni Denaro, Mauro Pezzè
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. ICSE (2017)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
Combining symbolic execution and search-based testing for programs with complex heap inputs. ISSTA (2017)
Pietro Braione, Giovanni Denaro, Mauro Pezzè
JBSE: a symbolic executor for Java programs with complex heap inputs. SIGSOFT FSE (2016)
Mauro Baluda, Giovanni Denaro, Mauro Pezzè
Bidirectional Symbolic Analysis for Effective Branch Testing. IEEE Trans. Software Eng. 42 (5) (2016)
Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti
Dynamic Data Flow Testing of Object Oriented Systems. ICSE (1) (2015)
Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè
Reusing constraint proofs in program analysis. ISSTA (2015)
Pietro Braione, Giovanni Denaro, Mauro Pezzè
Symbolic execution of programs with heap inputs. ESEC/SIGSOFT FSE (2015)
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
On the Right Objectives of Data Flow Testing. ICST (2014)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component. Softw. Qual. J. 22 (2) (2014)
Pietro Braione, Giovanni Denaro, Mauro Pezzè
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. ESEC/SIGSOFT FSE (2013)
Giovanni Denaro, Mauro Pezzè, Davide Tosi
Test-and-adapt: An approach for improving service interchangeability. ACM Trans. Softw. Eng. Methodol. 22 (4) (2013)
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
Quantifying the complexity of dataflow testing. AST (2013)
Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR (2013)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
An industrial case study of the effectiveness of test generators. AST (2012)
Giovanni Denaro
All-values symbolic execution. AST (2012)
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
Enhancing structural software coverage by incrementally computing branch executability. Softw. Qual. J. 19 (4) (2011)
Pietro Braione, Giovanni Denaro, Mauro Pezzè
On the Integration of Software Testing and Formal Analysis. LASER Summer School (2010)
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
Structural coverage of feasible code. AST (2010)
Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
DaTeC: Contextual data flow testing of java classes. ICSE Companion (2009)
Giovanni Denaro, Mauro Pezzè, Davide Tosi
Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/SIGSOFT FSE (2009)
Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf
Toward deeply adaptive societies of digital systems. ICSE Companion (2009)
Davide Tosi, Giovanni Denaro, Mauro Pezzè
Towards autonomic service-oriented applications. Int. J. Auton. Comput. 1 (1) (2009)
Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
Contextual Integration Testing of Classes. FASE (2008)
Giovanni Denaro, Mauro Pezzè, Davide Tosi
Designing Self-Adaptive Service-Oriented Applications. ICAC (2007)
Onn Shehory, Mauro Pezzè, Giovanni Denaro
SOQUA 2007 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE (Companion) (2007)
Zhiquan Zhou, Bernhard Scholz, Giovanni Denaro
Automated Software Testing and Analysis: Techniques, Practices and Tools. HICSS (2007)
Giovanni Denaro, Mauro Pezzè, Onn Shehory
SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE (2007)
Giovanni Denaro, Mauro Pezzè, Davide Tosi
SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion (2007)
Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling
Towards self-adaptive service-oriented architectures. TAV-WEB (2006)
Giovanni Denaro, Leonardo Mariani
Towards Testing and Analysis of Systems that Use Serialization. Electron. Notes Theor. Comput. Sci. 116 (2005)
Giovanni Denaro, Mauro Pezzè, Davide Tosi
Adaptive integration of third-party web services. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi
Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM (2005)
Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Electron. Notes Theor. Comput. Sci. 116 (2005)
Giovanni Denaro, Andrea Polini, Wolfgang Emmerich
Early performance testing of distributed software applications. WOSP (2004)
Giovanni Denaro, Mauro Pezzè
Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets (2003)
Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè
Design for Testability for Highly Reconfigurable Component-Based Systems. Electron. Notes Theor. Comput. Sci. 82 (6) (2003)
Giovanni Denaro, Mauro Pezzè, Sandro Morasca
Towards Industrially Relevant Fault-Proneness Models. Int. J. Softw. Eng. Knowl. Eng. 13 (4) (2003)
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
Self-Test Components for Highly Reconfigurable Systems. Electron. Notes Theor. Comput. Sci. 82 (6) (2003)
Giovanni Denaro, Mauro Pezzè
An empirical evaluation of fault-proneness models. ICSE (2002)
Giovanni Denaro, Sandro Morasca, Mauro Pezzè
Deriving models of software fault-proneness. SEKE (2002)
Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini
Assertions to better specify the amazon bug. SEKE (2002)
Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE (2001)
Giovanni Denaro, Mattia Monga
An Experience on Verification of Aspect Properties. IWPSE (2001)
Giovanni Denaro
Estimating software fault-proneness for tuning testing activities. ICSE (2000)