| 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. |
| Jul 2, 2024 | I am very happy to announce that the ACM Special Interest Group on Software Engineering (SIGSOFT) will be sponsoring our Summer School on Informatics RIO 2025 through a SIGSOFT financial support grant for summer/winter schools. |
| Jun 8, 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. |
| Apr 7, 2024 | The research paper “An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding” (by C. Cornejo, M. Novaira, S. Permigiani, N. Aguirre, M. Frias, S. Gutiérrez Brida and G. Regis) has been accepted for publication at the 10th International Conference on Rigorous State-Based Methods ABZ 2024. |
| Feb 22, 2024 | The research paper “Abstraction-Aware Inference of Metamorphic Relations” (by A. Nolasco, F. Molina, R. Degiovanni, A. Gorla, D. Garbervetsky, M. Papadakis, S. Uchitel, N. Aguirre and M. Frias) has been accepted for publication at the ACM International Conference on the Foundations of Software Engineering FSE 2024. |