Nazareno Aguirre

Full Professor (UNRC). Independent Researcher (CONICET). Visiting Professor (GTIIT).

prof_pic.jpg

I am a Full 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 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

news

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.

selected publications

  1. An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria
    Luciano Zemı́n, Ariel Godio, César Cornejo, Renzo Degiovanni, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, and Marcelo Fabian Frias
    ACM Trans. Softw. Eng. Methodol., 2025
  2. Abstraction-Aware Inference of Metamorphic Relations
    Agustı́n Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, and Marcelo F. Frias
    Proc. ACM Softw. Eng., 2024
  3. BEAPI: A tool for bounded exhaustive input generation from APIs
    Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, and Pablo Ponzio
    Sci. Comput. Program., 2024
  4. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
    Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis
    In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, 2024