![Nazareno Aguirre](https://2021.msrconf.org/getProfileImage/nazarenoaguirre/f55c3b70-fc24-4968-993f-8c2e32f9e50f/small.jpg?1711470919000)
Registered user since Fri 15 Aug 2014
Name:Nazareno Aguirre
Bio:
Nazareno Aguirre is an Associate Professor at the Computer Science Department, University of Rio Cuarto (UNRC), Argentina, and a Researcher of the Argentinian National Council for Scientific Research (CONICET). He is currently the Chair of the Computer Science Department at UNRC. He received his PhD from King’s College London, University of London, United Kingdom. His research interests include the foundations of software engineering, and formal techniques applied to software analysis.
Affiliation:University of Rio Cuarto and CONICET, Argentina
Personal website: http://dc.exa.unrc.edu.ar/staff/naguirre/
Research interests:Software Engineering, Automated Analysis, Software Verification
Contributions
2021
ICSE
- EvoSpex: An Evolutionary Algorithm for Learning Postconditions
- EvoSpex: An Evolutionary Algorithm for Learning Postconditions
- Committee Member in Program Committee within the DS - Doctoral Symposium-track
- Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs
- Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models"
- Bounded Exhaustive Search of Alloy Specification Repairs
- FLACK: Counterexample-Guided Fault Localization for Alloy Models
ICSE 2021-profile
View general profile
View general profile