| Reproducibility of environment-dependent software failures: An experience report DG Cavezza, R Pietrantuono, J Alonso, S Russo, KS Trivedi 2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014 | 37 | 2014 |
| Interpolation-based GR (1) assumptions refinement DG Cavezza, D Alrajeh Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 26 | 2017 |
| A weakness measure for GR (1) formulae DG Cavezza, D Alrajeh, A György Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 12 | 2018 |
| Minimal assumptions refinement for realizable specifications DG Cavezza, D Alrajeh, A György Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 9 | 2020 |
| Performance of defect prediction in rapidly evolving software DG Cavezza, R Pietrantuono, S Russo 2015 IEEE/ACM 3rd International Workshop on Release Engineering, 8-11, 2015 | 9 | 2015 |
| Minimal Assumptions Refinement for GR (1) Specifications DG Cavezza, D Alrajeh, A Gyorgy arXiv preprint arXiv:1910.05558, 2019 | 1 | 2019 |
| Redefining The Notion Of weakness In GR (1) Formulae DG Cavezza, D Alrajeh, G András ITNOW 63 (1), 66-66, 2021 | | 2021 |
| Heuristics for the refinement of assumptions in generalized reactivity formulae DG Cavezza Imperial College London, 2021 | | 2021 |
| An experimental study of software failures’ reproducibility DG Cavezza | | |
| Heuristic-Based GR (1) Assumptions Refinement DG Cavezza | | |
