DEGIOVANNI Renzo

Latest Publications

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria

<p>Zemín L., Godio A., Cornejo C., Degiovanni R., Gutiérrez Brida S., Regis G., Aguirre N., Frias M.F.</p>

<p>ACM Transactions on Software Engineering and Methodology, vol. 34, n° 3, art. no. 57, 2025</p>

Mode-Based Reactive Synthesis

<p>Brizzio M., Gorostiaga F., Sánchez C., Degiovanni R.</p>

<p>Lecture Notes in Computer Science, vol. 15682 LNCS, pp. 116-137, 2025</p>

How can we help you?

By content type (optional)