| 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 | 155 | 2005 |
| 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 | 61 | 2011 |
| 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 | 61 | 2002 |
| 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 | 47 | 2015 |
| 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 | 44 | 2013 |
| A logical basis for the specification of reconfigurable component-based systems N Aguirre, T Maibaum International Conference on Fundamental Approaches to Software Engineering …, 2003 | 39 | 2003 |
| 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 | 33 | 2005 |
| 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 | 32 | 2021 |
| 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 | 31 | 2007 |
| Field-exhaustive testing P Ponzio, N Aguirre, MF Frias, W Visser Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 27 | 2016 |
| Bounded lazy initialization J Geldenhuys, N Aguirre, MF Frias, W Visser NASA Formal Methods Symposium, 229-243, 2013 | 26 | 2013 |
| An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre Formal Methods and Software Engineering: 6th International Conference on …, 2004 | 26 | 2004 |
| 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 | 26 | 2002 |
| 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 | 24 | 2014 |
| 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 | 24 | 2013 |
| 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 | 23 | 2021 |
| 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 | 23 | 2016 |
| Fuzzing class specifications F Molina, M d'Amorim, N Aguirre Proceedings of the 44th International Conference on Software Engineering …, 2022 | 22 | 2022 |
| 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 | 22 | 2017 |
| 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 | 20 | 2018 |
German RegisUniversidad Nacional de Río Cuarto在 dc.exa.unrc.edu.ar 的电子邮件经过验证
