| Sep 26, 2025 | The research paper “Search-based Inference of Class Invariants: How far can Simulated Annealing take us?” (by J.M. Copia, F. Molina, A. Gorla, N. Aguirre and P. Ponzio) has been accepted for publication at the 17th Symposium on Search-Based Software Engineering SSBSE 2025. |
| Sep 25, 2025 | The research paper “State Field Coverage: A Metric for Oracle Quality” (by F. Molina, N. Aguirre and A. Gorla) has been accepted for publication at the 40th IEEE/ACM International Conference on Automated Software Engineering ASE 2025. |
| Sep 25, 2025 | The research paper “Automated Combinatorial Test Generation for Alloy” (by A. Borda, G. Regis, N. Aguirre, M. Frias and P. Ponzio) has been accepted for publication at the 40th IEEE/ACM International Conference on Automated Software Engineering ASE 2025. |
| Jun 12, 2025 | Nazareno Aguirre is visiting Claudio Menghi and Angelo Gargantini at the University of Bergamo, Italy, under that University’s short incoming visiting researcher program. |
| Nov 19, 2024 | Nazareno Aguirre is now Full Professor at the University of Rio Cuarto, Argentina. |
| Aug 30, 2024 | The paper “An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria” (by L. Zemín, A. Godio, C. Cornejo, R. Degiovanni, S. Gutiérrez Brida, G. Regis, N. Aguirre and M. Frias) has been accepted for publication at the ACM Transactions on Software Engineering and Methodology. |
| Jun 08, 2024 | The paper “BEAPI: A tool for bounded exhaustive input generation from APIs” (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias, and P. Ponzio) has been published as original software publication at Elsevier’s Science of Computer Programming. |