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
1582005
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
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
612002
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
492015
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
452013
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
392021
A logical basis for the specification of reconfigurable component-based systems
N Aguirre, T Maibaum
International Conference on Fundamental Approaches to Software Engineering …, 2003
392003
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
332005
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
312007
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
292016
Fuzzing class specifications
F Molina, M d'Amorim, N Aguirre
Proceedings of the 44th International Conference on Software Engineering …, 2022
282022
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
282021
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
282016
Bounded lazy initialization
J Geldenhuys, N Aguirre, MF Frias, W Visser
NASA Formal Methods Symposium, 229-243, 2013
272013
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
Formal Methods and Software Engineering: 6th International Conference on …, 2004
262004
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
A genetic algorithm for goal-conflict identification
R Degiovanni, F Molina, G Regis, N Aguirre
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
242018
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
Atr: Template-based repair for alloy specifications
G Zheng, TV Nguyen, SG Brida, G Regis, N Aguirre, MF Frias, H Bagheri
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
232022
The system can't perform the operation now. Try again later.
Articles 1–20