Follow
Nazareno Aguirre
Nazareno Aguirre
Universidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas
Verified email at dc.exa.unrc.edu.ar - Homepage
Title
Cited by
Cited by
Year
DynAlloy: upgrading alloy with actions
MF Frias, JP Galeotti, CG López Pombo, NM Aguirre
Proceedings of the 27th international conference on Software engineering …, 2005
1552005
A temporal logic approach to the specification of reconfigurable component-based systems
N Aguirre, T Maibaum
Proceedings 17th IEEE International Conference on Automated Software …, 2002
622002
Teaching software engineering using globally distributed projects: the DOSE course
M Nordio, C Ghezzi, B Meyer, E Di Nitto, G Tamburrelli, J Tschannen, ...
Proceedings of the 2011 Community Building Workshop on Collaborative …, 2011
612011
BLISS: improved symbolic execution by bounded lazy initialization with SAT support
N Rosner, J Geldenhuys, NM Aguirre, W Visser, MF Frias
IEEE Transactions on Software Engineering 41 (7), 639-660, 2015
472015
Improving test generation under rich contracts by tight bounds and incremental SAT solving
P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ...
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
432013
A logical basis for the specification of reconfigurable component-based systems
N Aguirre, T Maibaum
International Conference on Fundamental Approaches to Software Engineering …, 2003
382003
Reasoning about static and dynamic properties in alloy: A purely relational approach
MF Frias, CG López Pombo, GA Baum, NM Aguirre, TSE Maibaum
ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (4), 478-526, 2005
342005
Efficient analysis of DynAlloy specifications
MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 1-34, 2007
322007
Bounded exhaustive search of alloy specification repairs
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
302021
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
272016
Bounded lazy initialization
J Geldenhuys, N Aguirre, MF Frias, W Visser
NASA Formal Methods Symposium, 229-243, 2013
262013
A temporal logic approach to component-based system specification and reasoning
N Aguirre, T Maibaum
Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, 2002
262002
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
Formal Methods and Software Engineering: 6th International Conference on …, 2004
252004
Automated goal operationalisation based on interpolation and sat solving
R Degiovanni, D Alrajeh, N Aguirre, S Uchitel
Proceedings of the 36th International Conference on Software Engineering …, 2014
242014
Ranger: Parallel analysis of Alloy models by range partitioning
N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
242013
Evospex: An evolutionary algorithm for learning postconditions
F Molina, P Ponzio, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
232021
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ...
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
232017
Fuzzing class specifications
F Molina, M d'Amorim, N Aguirre
Proceedings of the 44th International Conference on Software Engineering …, 2022
222022
Goal-conflict detection based on temporal satisfiability checking
R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
222016
Towards managing dynamic reconfiguration of software systems in a categorical setting
PF Castro, NM Aguirre, CG López Pombo, TSE Maibaum
Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010
202010
The system can't perform the operation now. Try again later.
Articles 1–20