Nazareno Aguirre
发表
Nazareno Aguirre,
Marcelo F. Frias,
Mariano M. Moscato,
2009,
FASE.
Nazareno Aguirre,
T. S. E. Maibaum,
2004,
Electron. Notes Theor. Comput. Sci..
Dalal Alrajeh,
Nazareno Aguirre,
Renzo Degiovanni,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sarfraz Khurshid,
Nazareno Aguirre,
Marcelo F. Frias,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Nazareno Aguirre,
T. S. E. Maibaum,
Juan Bicarregui,
2003,
ZB.
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2018,
2018 IEEE/ACM 11th International Workshop on Search-Based Software Testing (SBST).
Nazareno Aguirre,
Marcelo F. Frias,
Fernando D. Raverta,
2017,
ESEC/SIGSOFT FSE.
Nazareno Aguirre,
Renzo Degiovanni,
Raul Fervari,
2009
.
Ali Mili,
Nazareno Aguirre,
Marcelo F. Frias,
2013,
VSTTE.
Nazareno Aguirre,
T. S. E. Maibaum,
2003,
FASE.
Dalal Alrajeh,
Sebastián Uchitel,
Nazareno Aguirre,
2014,
ICSE.
Nazareno Aguirre,
2017
.
Nazareno Aguirre,
Marcelo F. Frias,
Nicolás Rosner,
2014,
FM.
Nazareno Aguirre,
T. S. E. Maibaum,
Carlos López Pombo,
2014,
ICTAC.
Nazareno Aguirre,
T. S. E. Maibaum,
Carlos López Pombo,
2012,
WADT.
Tom Maibaum,
Nazareno Aguirre,
2006
.
Nazareno Aguirre,
Marcelo F. Frias,
Mariano M. Moscato,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Nazareno Aguirre,
T. S. E. Maibaum,
2003,
Verification: Theory and Practice.
Nazareno Aguirre,
2017,
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Nazareno Aguirre,
T. S. E. Maibaum,
Juan Bicarregui,
2004,
ICFEM.
Nazareno Aguirre,
T. S. E. Maibaum,
Carlos López Pombo,
2010,
ICTAC.
Nazareno Aguirre,
T. S. E. Maibaum,
Carlos López Pombo,
2015,
Formal Aspects of Computing.
Nazareno Aguirre,
Marcelo F. Frias,
Carlos López Pombo,
2007,
TSEM.
Nazareno Aguirre,
T. S. E. Maibaum,
Nicolás Ricci,
2012,
SBMF.
Nazareno Aguirre,
Leila Ribeiro,
2014,
LAFM.
Nazareno Aguirre,
Renzo Degiovanni,
Facundo Molina,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Xiang Ling,
Nazareno Aguirre,
T. S. E. Maibaum,
2007,
Formal Methods and Hybrid Real-Time Systems.
Nazareno Aguirre,
T. S. E. Maibaum,
Pablo F. Castro,
2013,
IFM.
Nazareno Aguirre,
T. S. E. Maibaum,
Nicolás Ricci,
2015,
TACAS.
Nazareno Aguirre,
Marcelo F. Frias,
Marcelo Uva,
2017,
International Journal on Software Tools for Technology Transfer.
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2011,
TAP@TOOLS.
Ali Mili,
Nazareno Aguirre,
Marcelo F. Frias,
2019,
ArXiv.
Nazareno Aguirre,
Marcelo F. Frias,
Carlos López Pombo,
2005,
ICSE.
Nazareno Aguirre,
T. S. E. Maibaum,
Carlos López Pombo,
2012,
FACS.
Nazareno Aguirre,
Germán Regis,
2008
.
Nazareno Aguirre,
Mariano Politano,
Valeria Bengolea,
2019
.
Bertrand Meyer,
Carlo Ghezzi,
Giordano Tamburrelli,
2011,
CTGDSD '11.
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2017,
2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST).
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2019,
SBMF.
Nazareno Aguirre,
Javier Blanco,
Gastón Scilingo,
2009,
SGCS.
Nazareno Aguirre,
Marcelo F. Frias,
Pablo Ponzio,
2018,
Softw. Test. Verification Reliab..
Nazareno Aguirre,
Pablo F. Castro,
Nazareno Aguirre,
2016,
SBMF.
Nazareno Aguirre,
T. S. E. Maibaum,
Pablo F. Castro,
2013,
ATVA.
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2014,
Softw. Test. Verification Reliab..
Nazareno Aguirre,
T. S. E. Maibaum,
Pablo F. Castro,
2017,
Formal Aspects of Computing.
Nazareno Aguirre,
Pablo F. Castro,
Cecilia Kilmurray,
2011,
SEFM.
Nazareno Aguirre,
Marcelo F. Frias,
Willem Visser,
2015,
IEEE Transactions on Software Engineering.
Sarfraz Khurshid,
Nazareno Aguirre,
Marcelo F. Frias,
2014,
OOPSLA 2014.
Nazareno Aguirre,
Juan Oviedo,
2004
.
Nazareno Aguirre,
Tom Maibaum,
2002
.
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Nazareno Aguirre,
Jorge Aguirre,
Marcelo Arroyo,
1999
.
Nazareno Aguirre,
Marcelo F. Frias,
Gabriel Alfredo Baum,
1999
.
Nazareno Aguirre,
Pablo Ponzio,
Valeria S. Bengolea,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Nazareno Aguirre,
Nicolás D'Ippolito,
Renzo Degiovanni,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Nazareno Aguirre,
Marcelo Uva,
2012
.
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Nazareno Aguirre,
Marcelo F. Frias,
Willem Visser,
2013,
NASA Formal Methods.
Nazareno Aguirre,
2008
.
Nazareno Aguirre,
T. S. E. Maibaum,
Juan Bicarregui,
2005,
ICFEM.
Nazareno Aguirre,
T. S. E. Maibaum,
Carlos López Pombo,
2019,
Fundam. Informaticae.
Nazareno Aguirre,
Marcelo F. Frias,
Gastón Scilingo,
2018,
2018 IEEE/ACM 11th International Workshop on Search-Based Software Testing (SBST).
Nazareno Aguirre,
Marcelo F. Frias,
T. S. E. Maibaum,
2003,
FME.
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2019,
Sci. Comput. Program..
Nazareno Aguirre,
Jaelson Castro,
Jose Aguilar,
2013
.
Nazareno Aguirre,
Marcelo F. Frias,
Marcelo Uva,
2018,
International Journal on Software Tools for Technology Transfer.
Nazareno Aguirre,
Pablo F. Castro,
Cecilia Kilmurray,
2012,
SBMF.
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2012,
TAP@TOOLS.
Nazareno Aguirre,
Renzo Degiovanni,
Gastón Scilingo,
2013,
2013 XXXIX Latin American Computing Conference (CLEI).
Nazareno Aguirre,
Marcelo F. Frias,
T. S. E. Maibaum,
2005,
ACM Trans. Softw. Eng. Methodol..
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2017
.
Bertrand Meyer,
Rafael Prikladnicki,
Nazareno Aguirre,
2014,
2014 IEEE 27th Conference on Software Engineering Education and Training (CSEE&T).
Paulo S. C. Alencar,
Nazareno Aguirre,
T. S. E. Maibaum,
2006,
Essays Dedicated to Joseph A. Goguen.
Nazareno Aguirre,
T. S. E. Maibaum,
2002,
Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Nazareno Aguirre,
Marcelo F. Frias,
Mariano Politano,
2019,
FASE.
Nazareno Aguirre,
Marcelo F. Frias,
Carlos López Pombo,
2004,
ICFEM.
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
Nazareno Aguirre,
Marcelo F. Frias,
Juan P. Galeotti,
2011,
TAP@TOOLS.
Nazareno Aguirre,
T. S. E. Maibaum,
Germán Regis,
2009,
ICFEM.
Nazareno Aguirre,
Nicolás Ricci,
Juan Pablo Galeotti,
2011
.
Nazareno Aguirre,
T. S. E. Maibaum,
Germán Regis,
2007,
IFM.
Nazareno Aguirre,
Marcelo F. Frias,
Juan P. Galeotti,
2008,
ICFEM.
Nazareno Aguirre,
Marcelo F. Frias,
Willem Visser,
2016,
SIGSOFT FSE.
Nazareno Aguirre,
Nicolás D'Ippolito,
Renzo Degiovanni,
2017,
ESEC/SIGSOFT FSE.
Marcelo d'Amorim,
Nazareno Aguirre,
Facundo Molina,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Nazareno Aguirre,
Marcelo F. Frias,
Facundo Molina,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Hamid Bagheri,
Nazareno Aguirre,
Marcelo F. Frias,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Nazareno Aguirre,
Facundo Molina,
Pablo Ponzio,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Hamid Bagheri,
Nazareno Aguirre,
Marcelo F. Frias,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Hamid Bagheri,
Nazareno Aguirre,
Marcelo F. Frias,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Hamid Bagheri,
Nazareno Aguirre,
Marcelo F. Frias,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Hamid Bagheri,
Nazareno Aguirre,
Marcelo F. Frias,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Nazareno Aguirre,
Marcelo F. Frias,
Nicolás Rosner,
2021,
FASE.
Hamid Bagheri,
Nazareno Aguirre,
Marcelo F. Frias,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Maxime Cordy,
Nazareno Aguirre,
Mike Papadakis,
2021,
ArXiv.