Davide G. Cavezza

According to our database, Davide G. Cavezza authored at least 6 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Minimal Assumptions Refinement for Realizable Specifications.

Davide G. Cavezza, Dalal Alrajeh, András György

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Minimal Assumptions Refinement for GR(1) Specifications.

Davide G. Cavezza, Dalal Alrajeh, András György

CoRR, 2019

2018

A Weakness Measure for GR(1) Formulae.

Davide Giacomo Cavezza, Dalal Alrajeh, András György

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Interpolation-Based GR(1) Assumptions Refinement.

Davide G. Cavezza, Dalal Alrajeh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Performance of Defect Prediction in Rapidly Evolving Software.

Davide Giacomo Cavezza, Roberto Pietrantuono, Stefano Russo

Proceedings of the 3rd IEEE/ACM International Workshop on Release Engineering, 2015

2014

Reproducibility of Environment-Dependent Software Failures: An Experience Report.

Davide G. Cavezza, Roberto Pietrantuono, Javier Alonso, Stefano Russo, Kishor S. Trivedi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014