Nazareno Aguirre

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

prof_pic.jpg

Oficina A11.D

Departamento de Computación, FCEFQyN, UNRC

Ruta Nacional No. 36 Km 601

Río Cuarto (5800), Córdoba, Argentina

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

latest publications

  1. Scoping Software Engineering for AI: The TSE Perspective
    Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, and 29 more authors
    IEEE Trans. Software Eng., 2024
  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. An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding
    César Cornejo, Marı́a Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, and Germán Regis
    In Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings, 2024
  5. 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