| 2026 | SANER | Path-Optimal Symbolic Execution of Heap-Manipulating Programs. | Pietro Braione, Giovanni Denaro, Luca Guglielmo |
| 2025 | AST | Automated Test Generation from Program Documentation Encoded in Code Comments. | Giovanni Denaro, Luca Guglielmo |
| 2025 | AST | Automated Test Generation for Integration Testing. | Elson Kurian, Giovanni Denaro, Pietro Braione, Luca Guglielmo |
| 2023 | ICSE | Automated Test Case Generation for Safety-Critical Software in Scade. | Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro |
| 2023 | ICSE | GUI Testing to the Power of Parallel Q-Learning. | Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani |
| 2021 | ICSE | Towards Evidence-Based Testability Measurements. | Luca Guglielmo, Andrea Riboni, Giovanni Denaro |
| 2019 | ICSE | SUSHI and TARDIS at the SBST2019 tool competition. | Pietro Braione, Giovanni Denaro |
| 2019 | ISSRE | Big-Data Applications as Self-Adaptive Systems of Systems. | Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi |
| 2019 | ISSRE | Design for Testability of ERMTS Applications. | Andrea Riboni, Luca Guglielmo, Matteo Orr, Pietro Braione, Giovanni Denaro |
| 2018 | ICSE | SUSHI: a test generator for programs with complex structured inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2018 | ISSRE | Worst-Case Execution Time Testing via Evolutionary Symbolic Execution. | Andrea Aquino, Giovanni Denaro, Pasquale Salza |
| 2017 | ICSE | Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. | Andrea Aquino, Giovanni Denaro, Mauro Pezz |
| 2017 | ISSTA | Combining symbolic execution and search-based testing for programs with complex heap inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2015 | ICSE | Dynamic Data Flow Testing of Object Oriented Systems. | Giovanni Denaro, Alessandro Margara, Mauro Pezz, Mattia Vivanti |
| 2015 | ISSTA | Reusing constraint proofs in program analysis. | Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezz |
| 2014 | ICST | On the Right Objectives of Data Flow Testing. | Giovanni Denaro, Mauro Pezz, Mattia Vivanti |
| 2013 | ICSE | Quantifying the complexity of dataflow testing. | Giovanni Denaro, Mauro Pezz, Mattia Vivanti |
| 2012 | ICSE | An industrial case study of the effectiveness of test generators. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad |
| 2012 | ICSE | All-values symbolic execution. | Giovanni Denaro |
| 2010 | ICSE | Structural coverage of feasible code. | Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezz |
| 2009 | ICSE | Toward deeply adaptive societies of digital systems. | Antonio Carzaniga, Giovanni Denaro, Mauro Pezz, Jacky Estublier, Alexander L. Wolf |
| 2009 | ICSE | DaTeC: Contextual data flow testing of java classes. | Giovanni Denaro, Alessandra Gorla, Mauro Pezz |
| 2008 | FASE | Contextual Integration Testing of Classes. | Giovanni Denaro, Alessandra Gorla, Mauro Pezz |
| 2007 | ICSE | SHIWS: A Self-Healing Integrator for Web Services. | Giovanni Denaro, Mauro Pezz, Davide Tosi |
| 2006 | ISSTA | Towards self-adaptive service-oriented architectures. | Giovanni Denaro, Mauro Pezz, Davide Tosi, Daniela Schilling |
| 2005 | WoWMoM | Adaptive Runtime Verification for Autonomic Communication Infrastructures. | Giovanni Denaro, Leonardo Mariani, Mauro Pezz, Davide Tosi |
| 2002 | ICSE | An empirical evaluation of fault-proneness models. | Giovanni Denaro, Mauro Pezz |
| 2002 | SEKE | Assertions to better specify the amazon bug. | Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini |
| 2002 | SEKE | Deriving models of software fault-proneness. | Giovanni Denaro, Sandro Morasca, Mauro Pezz |
| 2000 | ICSE | Estimating software fault-proneness for tuning testing activities. | Giovanni Denaro |