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 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 Posters Track of the ACM International Conference on the Foundations of Software Engineering FSE 2024
- Program Committe member for the Tutorials Track of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2023
- Program Committe member for the International Symposium on Software Testing, Verification and Validation ICST 2023 (main research track)
- Program Committe member for the International Symposium on Software Testing and Analysis ISSTA 2023 (main research track)
news
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. |
Nov 27, 2023 | Nazareno Aguirre is keynote speaker at the Symposium on Dependable Software Engineering: Theories, Tools and Applications SETTA 2023. |
Sep 25, 2023 | The research paper “Precise Lazy Initialization for Programs with Complex Heap Inputs” (by J. Copia, F. Molina, N. Aguirre, M. Frias, A. Gorla, and P. Ponzio) has been accepted for publication at the 34th IEEE International Symposium on Software Reliability Engineering. |
Sep 25, 2023 | The research paper “Enabling Efficient Assertion Inference” (by A. Garg, R. Degiovanni, F. Molina, M. Cordy, N. Aguirre, M. Papadakis, and Y. Le Traon) has been accepted for publication at the 34th IEEE International Symposium on Software Reliability Engineering. |
latest publications
- ACoRe: Automated Goal-Conflict ResolutionIn Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
- Efficient Bounded Exhaustive Input Generation from Program APIsIn Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
- Automated Repair of Unrealisable LTL Specifications Guided by Model CountingIn Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, 2023
- Enabling Efficient Assertion InferenceIn 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 2023
- Precise Lazy Initialization for Programs with Complex Heap InputsIn 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 2023
- EvoSpex: A Search-Based Tool for Postcondition InferenceIn Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023
- SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based FuzzingIn 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023