Reproducibility of Environment-Dependent Software Failures: An Experience Report. - Davide G. Cavezza; Roberto Pietrantuono; Javier Alonso 001; Stefano Russo 001; Kishor S. Trivedi (ISSRE, 2014)

Performance of Defect Prediction in Rapidly Evolving Software. - Davide Giacomo Cavezza; Roberto Pietrantuono; Stefano Russo 001 (RELENG@ICSE, 2015)

Interpolation-Based GR(1) Assumptions Refinement. - Davide G. Cavezza; Dalal Alrajeh (TACAS (1), 2017)

Minimal Assumptions Refinement for GR(1) Specifications. - Davide G. Cavezza; Dalal Alrajeh; András György 001 (CoRR, 2019)

Minimal Assumptions Refinement for Realizable Specifications. - Davide G. Cavezza; Dalal Alrajeh; András György 001 (FormaliSE@ICSE, 2020)

A Weakness Measure for GR(1) Formulae. - Davide G. Cavezza; Dalal Alrajeh; András György 001 (Formal Aspects Comput., 2021)