Estimating software fault-proneness for tuning testing activities. - Giovanni Denaro (ICSE, 2000)

An Experience on Verification of Aspect Properties. - Giovanni Denaro; Mattia Monga (IWPSE, 2001)

Using symbolic execution for verifying safety-critical systems. - Alberto Coen-Porisini; Giovanni Denaro; Carlo Ghezzi; Mauro Pezzè (ESEC / SIGSOFT FSE, 2001)

An empirical evaluation of fault-proneness models. - Giovanni Denaro; Mauro Pezzè (ICSE, 2002)

Assertions to better specify the amazon bug. - Luciano Baresi; Giovanni Denaro; Luca Mainetti; Paolo Paolini (SEKE, 2002)

Deriving models of software fault-proneness. - Giovanni Denaro; Sandro Morasca; Mauro Pezzè (SEKE, 2002)

Petri Nets and Software Engineering. - Giovanni Denaro; Mauro Pezzè (Lectures on Concurrency and Petri Nets, 2003)

Design for Testability for Highly Reconfigurable Component-Based Systems. - Andrea Baldini; Paolo Prinetto; Giovanni Denaro; Mauro Pezzè (TACoS, 2003)

Self-Test Components for Highly Reconfigurable Systems. - Giovanni Denaro; Leonardo Mariani; Mauro Pezzè (TACoS, 2003)

Towards Industrially Relevant Fault-Proneness Models. - Giovanni Denaro; Mauro Pezzè; Sandro Morasca (Int. J. Softw. Eng. Knowl. Eng., 2003)

Early performance testing of distributed software applications. - Giovanni Denaro; Andrea Polini; Wolfgang Emmerich (WOSP, 2004)

Towards Testing and Analysis of Systems that Use Serialization. - Giovanni Denaro; Leonardo Mariani (TACoS, 2004)

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. - Mauro Pezzè; Andrea Baldini; Giovanni Denaro; Giuseppe Lipari; Matteo Rossi; Davide Rogai (TACoS, 2004)

Adaptive Runtime Verification for Autonomic Communication Infrastructures. - Giovanni Denaro; Leonardo Mariani; Mauro Pezzè; Davide Tosi (WOWMOM, 2005)

Adaptive integration of third-party web services. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ACM SIGSOFT Softw. Eng. Notes, 2005)

Towards self-adaptive service-oriented architectures. - Giovanni Denaro; Mauro Pezzè; Davide Tosi; Daniela Schilling (TAV-WEB, 2006)

Automated Software Testing and Analysis: Techniques, Practices and Tools. - Zhiquan Zhou; Bernhard Scholz; Giovanni Denaro (HICSS, 2007)

Designing Self-Adaptive Service-Oriented Applications. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ICAC, 2007)

SHIWS: A Self-Healing Integrator for Web Services. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ICSE Companion, 2007)

SOQUA 2007: 4th international workshop on software quality assurance. - Giovanni Denaro; Mauro Pezzè; Onn Shehory (ESEC/SIGSOFT FSE, 2007)

Contextual Integration Testing of Classes. - Giovanni Denaro; Alessandra Gorla; Mauro Pezzè (FASE, 2008)

Toward deeply adaptive societies of digital systems. - Antonio Carzaniga; Giovanni Denaro; Mauro Pezzè; Jacky Estublier; Alexander L. Wolf (ICSE Companion, 2009)

DaTeC: Contextual data flow testing of java classes. - Giovanni Denaro; Alessandra Gorla; Mauro Pezzè (ICSE Companion, 2009)

Ensuring interoperable service-oriented systems through engineered self-healing. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ESEC/SIGSOFT FSE, 2009)

Towards autonomic service-oriented applications. - Davide Tosi; Giovanni Denaro; Mauro Pezzè (Int. J. Auton. Comput., 2009)

Structural coverage of feasible code. - Mauro Baluda; Pietro Braione; Giovanni Denaro; Mauro Pezzè (AST, 2010)

On the Integration of Software Testing and Formal Analysis. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (LASER Summer School, 2010)

Enhancing structural software coverage by incrementally computing branch executability. - Mauro Baluda; Pietro Braione; Giovanni Denaro; Mauro Pezzè (Softw. Qual. J., 2011)

An industrial case study of the effectiveness of test generators. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mattia Vivanti; Ali Muhammad (AST, 2012)

All-values symbolic execution. - Giovanni Denaro (AST, 2012)

PINCETTE - Validating Changes and Upgrades in Networked Software. - 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 (CSMR, 2013)

Quantifying the complexity of dataflow testing. - Giovanni Denaro; Mauro Pezzè; Mattia Vivanti (AST, 2013)

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (ESEC/SIGSOFT FSE, 2013)

Test-and-adapt: An approach for improving service interchangeability. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ACM Trans. Softw. Eng. Methodol., 2013)

On the Right Objectives of Data Flow Testing. - Giovanni Denaro; Mauro Pezzè; Mattia Vivanti (ICST, 2014)

Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mattia Vivanti; Ali Muhammad (Softw. Qual. J., 2014)

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. - Pietro Braione; Giovanni Denaro; Oliviero Riganelli; Mauro Baluda; Ali Muhammad (Validation of Evolving Software, 2015)

Dynamic Data Flow Testing of Object Oriented Systems. - Giovanni Denaro; Alessandro Margara; Mauro Pezzè; Mattia Vivanti (ICSE (1), 2015)

Reusing constraint proofs in program analysis. - Andrea Aquino; Francesco A. Bianchi; Meixian Chen; Giovanni Denaro; Mauro Pezzè (ISSTA, 2015)

Symbolic execution of programs with heap inputs. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (ESEC/SIGSOFT FSE, 2015)

JBSE: a symbolic executor for Java programs with complex heap inputs. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (SIGSOFT FSE, 2016)

Bidirectional Symbolic Analysis for Effective Branch Testing. - Mauro Baluda; Giovanni Denaro; Mauro Pezzè (IEEE Trans. Software Eng., 2016)

Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. - Andrea Aquino; Giovanni Denaro; Mauro Pezzè (ICSE, 2017)

Combining symbolic execution and search-based testing for programs with complex heap inputs. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mauro Pezzè (ISSTA, 2017)

SUSHI: a test generator for programs with complex structured inputs. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mauro Pezzè (ICSE (Companion Volume), 2018)

Worst-Case Execution Time Testing via Evolutionary Symbolic Execution. - Andrea Aquino; Giovanni Denaro; Pasquale Salza (ISSRE, 2018)

SUSHI and TARDIS at the SBST2019 tool competition. - Pietro Braione; Giovanni Denaro (SBST@ICSE, 2019)

Big-Data Applications as Self-Adaptive Systems of Systems. - Luciano Baresi; Giovanni Denaro; Giovanni Quattrocchi (ISSRE Workshops, 2019)

Design for Testability of ERMTS Applications. - Andrea Riboni; Luca Guglielmo; Matteo Orrù; Pietro Braione; Giovanni Denaro (ISSRE Workshops, 2019)

GUI testing in production: challenges and opportunities. - Giovanni Denaro; Luca Guglielmo; Leonardo Mariani; Oliviero Riganelli (Programming, 2019)

Symbolic execution-driven extraction of the parallel execution plans of Spark applications. - Luciano Baresi; Giovanni Denaro; Giovanni Quattrocchi (ESEC/SIGSOFT FSE, 2019)

Revisiting the role of top-down and bottom-up controls in stabilisation of nutrient-rich plankton communities. - Andrew Morozov; Giovanni Denaro; Bernardo Spagnolo; Davide Valenti (Commun. Nonlinear Sci. Numer. Simul., 2019)

Parallel ReCal Supplementary material. - Giovanni Denaro (IEEE DataPort, 2019)

Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. - Diego Clerissi; Giovanni Denaro; Marco Mobilio; Leonardo Mariani (ASE, 2020)

Facilitating program performance profiling via evolutionary symbolic execution. - Andrea Aquino; Pietro Braione; Giovanni Denaro; Pasquale Salza (Softw. Test. Verification Reliab., 2020)

Towards Evidence-Based Testability Measurements. - Luca Guglielmo; Andrea Riboni; Giovanni Denaro (ICSE (NIER), 2021)

Exploiting the Blockchain to Guarantee GDPR Compliance while Consents Evolve under Data Owners' Control. - Massimiliano Calani; Giovanni Denaro; Alberto Leporati (ITASEC, 2021)

A novel method to simulate the 3D chlorophyll distribution in marine oligotrophic waters. - H. Awada; Salvatore Aronica; Angelo Bonanno; Gualtiero Basilone; S. W. Zgozi; Giovanni Giacalone; Ignazio Fontana; Simona Genovese; Rosalia Ferreri; Salvatore Mazzola; Bernardo Spagnolo; Davide Valenti; et al. (Commun. Nonlinear Sci. Numer. Simul., 2021)

On introducing automatic test case generation in practice: A success story and lessons learned. - Matteo Brunetto; Giovanni Denaro; Leonardo Mariani; Mauro Pezzè (J. Syst. Softw., 2021)

Reusing Solutions Modulo Theories. - Andrea Aquino; Giovanni Denaro; Mauro Pezzè (IEEE Trans. Software Eng., 2021)

Automated Test Case Generation for Safety-Critical Software in Scade. - Elson Kurian; Pietro Braione; Daniela Briola; Dario D'Avino; Matteo Modonato; Giovanni Denaro (ICSE-SEIP, 2023)

GUI Testing to the Power of Parallel Q-Learning. - Marco Mobilio; Diego Clerissi; Giovanni Denaro; Leonardo Mariani (ICSE Companion, 2023)

Exploiting Ethereum after "The Merge": The Interplay between PoS and MEV Strategies. - Davide Mancino; Alberto Leporati; Marco Viviani 001; Giovanni Denaro (ITASEC, 2023)

Automatically generating test cases for safety-critical software via symbolic execution. - Elson Kurian; Daniela Briola; Pietro Braione; Giovanni Denaro (J. Syst. Softw., 2023)

A dynamic integrated model for mercury bioaccumulation in marine organisms. - Giovanni Denaro; Luciano Curcio; Alessandro Borri; Laura D'Orsi; Andrea De Gaetano (Ecol. Informatics, 2023)

Prevent: An Unsupervised Approach to Predict Software Failures in Production. - Giovanni Denaro; Rahim Heydarov; Ali Mohebbi 003; Mauro Pezzè (IEEE Trans. Software Eng., 2023)

Measuring Software Testability via Automatically Generated Test Cases. - Luca Guglielmo; Leonardo Mariani; Giovanni Denaro (IEEE Access, 2024)

Path-optimal symbolic execution of heap-manipulating programs. - Pietro Braione; Giovanni Denaro (CoRR, 2024)

Predicting Failures of Autoscaling Distributed Applications. - Giovanni Denaro; Noura El Moussa; Rahim Heydarov; Francesco Lomio; Mauro Pezzè; Ketai Qiu (Proc. ACM Softw. Eng., 2024)

Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. - Diego Clerissi; Giovanni Denaro; Marco Mobilio; Leonardo Mariani (IEEE Trans. Software Eng., 2024)

Predicting Failures of Autoscaling Distributed Applications. - Giovanni Denaro; Noura El Moussa; Rahim Heydarov; Francesco Lomio; Mauro Pezzè; Ketai Qiu (Zenodo, 2024)

DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing. - Diego Clerissi; Giovanni Denaro; Marco Mobilio; Leonardo Mariani (IEEE Trans. Software Eng., 2024)

Automated Test Generation from Program Documentation Encoded in Code Comments. - Giovanni Denaro; Luca Guglielmo (AST@ICSE, 2025)

Automated Test Generation for Integration Testing. - Elson Kurian; Giovanni Denaro; Pietro Braione; Luca Guglielmo (AST@ICSE, 2025)

Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies. - Davide Mancino; Alberto Leporati; Marco Viviani 001; Giovanni Denaro (ICBC, 2025)