Nazareno Aguirre
Associate Professor (UNRC). Independent Researcher (CONICET). Visiting Associate Professor (GTIIT).
Oficina A11.D
Departamento de Computación, FCEFQyN, UNRC
Ruta Nacional No. 36 Km 601
Río Cuarto (5800), Córdoba, Argentina
I am an Associate Professor at the Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, and an Independent Researcher at Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). I am also a Visiting Associate Professor at Guangdong Technion - Israel Institute of Technology, Shantou, China.
My main research interests correspond to Software Engineering, in particular Formal Methods for Software Development. I currently work on formal analyses of software based on SAT solving, including specification inference, test generation, bounded verification and program repair. The main aim of my research is to help build reliable quality software.
Current and upcoming service
- Head of the PhD Programme in Computing at the Faculty of Mathematics, Physics, Astronomy and Computing (FAMAF), University of Cordoba, Argentina
- Coordinator of the Informatics, Electronics and Communications Commission at Argentina’s National Agency for the Promotion of Research, Technological Development and Innovation (Agencia I+D+i)
- Associate Editor of IEEE Transactions on Software Engineering
- Program Committe member for the International Conference on Software Engineering ICSE 2025 (main research track)
- Program Committe member for the International Symposium on Software Testing and Analysis ISSTA 2025 (main research track)
- Program Committe member for the Testing Tools and Data Showcase Track of the International Conference on Software Testing, Verification and Validation ICST 2025
- Program Committe member for the International Symposium on Software Testing and Analysis ISSTA 2024 (main research track)
- Program Committe member for the International Symposium on Software Testing, Verification and Validation ICST 2024 (main research track)
- Program Committe member for the International Conference on Rigorous State Based Methods ABZ 2024 (main research track)
- Program Committe member for the New Ideas and Emerging Results Track of the International Conference on Automated Software Engineering ASE 2024
- Program Committe member for the Posters Track of the ACM International Conference on the Foundations of Software Engineering FSE 2024
news
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. |
latest publications
-
-
- An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model FindingIn Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings, 2024
- SpecBCFuzz: Fuzzing LTL Solvers with Boundary ConditionsIn Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, 2024
-