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 | 28 | 2017 |
Thalamo-hippocampal pathway regulates incidental memory capacity in mice G Torromino, V Loffredo, D Cavezza, G Sonsini, F Esposito, AH Crevenna, ... Nature Communications 13 (1), 4194, 2022 | 12 | 2022 |
A weakness measure for GR (1) formulae DG Cavezza, D Alrajeh, A György Formal Aspects of Computing 33 (1), 27-63, 2021 | 12 | 2021 |
Minimal assumptions refinement for realizable specifications DG Cavezza, D Alrajeh, A György Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 11 | 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 |
Thalamo-hippocampal pathway regulates incidental memory load: insights from sex differences G Torromino, V Loffredo, D Cavezza, G Sonsini, F Esposito, AH Crevenna, ... bioRxiv, 2021.08. 07.453742, 2021 | | 2021 |
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 | | |