| 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. |
| Dec 15, 2023 | The paper “SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions” (by L. Carvalho, R. Degiovanni, M. Cordy, N. Aguirre, Y. Le Traon and M. Papadakis) has been accepted for publication at the research track of the 46th International Conference on Software Engineering ICSE 2024. |