Marcelo F. Frias
发表
Nazareno Aguirre,
Marcelo F. Frias,
Mariano M. Moscato,
2009,
FASE.
Marcelo F. Frias,
T. S. E. Maibaum,
Gabriel Baum,
1998,
AMAST.
Marcelo F. Frias,
Diego Garbervetsky,
Bruno Cuervo Parrino,
2011,
SEFM.
Ali Mili,
Marcelo F. Frias,
Ali Jaoua,
2013,
RAMiCS.
Jules Desharnais,
Ali Mili,
Marcelo F. Frias,
2017,
Innovations in Systems and Software Engineering.
Sarfraz Khurshid,
Nazareno Aguirre,
Marcelo F. Frias,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marcelo F. Frias,
Gabriel Alfredo Baum,
2007
.
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.
Marcelo F. Frias,
Juan P. Galeotti,
Nicolás Rosner,
2013,
ISSTA.
Marcelo F. Frias,
T. S. E. Maibaum,
Gabriel Baum,
2001,
RelMiCS.
Marcelo F. Frias,
Juan P. Galeotti,
2006,
SET.
Ali Mili,
Nazareno Aguirre,
Marcelo F. Frias,
2013,
VSTTE.
Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer,
1998,
Log. J. IGPL.
Marcelo F. Frias,
Mariano M. Moscato,
Carlos López Pombo,
2014,
ACM Trans. Softw. Eng. Methodol..
Marcelo F. Frias,
Roger D. Maddux,
2001,
Theor. Comput. Sci..
Jules Desharnais,
Ali Mili,
Marcelo F. Frias,
2015,
RAMICS.
Nazareno Aguirre,
Marcelo F. Frias,
Nicolás Rosner,
2014,
FM.
Marcelo F. Frias,
Gabriel Baum,
Esteban de la Canal,
2000,
RelMiCS.
Marcelo F. Frias,
Nicolás D'Ippolito,
Esteban Lanzarotti,
2010,
ASM.
Nazareno Aguirre,
Marcelo F. Frias,
Mariano M. Moscato,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Marcelo F. Frias,
Cristina D. Ururahy,
Armando Martin Haeberer,
1995,
TAPSOFT.
Marcelo F. Frias,
Carlos López Pombo,
M. Frias,
2006,
AMAST.
Ali Mili,
Marcelo F. Frias,
Ali Jaoua,
2014,
Innovations in Systems and Software Engineering.
Marcelo F. Frias,
Mariano M. Moscato,
Carlos López Pombo,
2007,
TACAS.
Marcelo F. Frias,
Carlos López Pombo,
Juan P. Galeotti,
2013,
IEEE Transactions on Software Engineering.
Marcelo F. Frias,
Carlos G. Lopez Pombo,
Thomas S.E. Maibaum,
2020,
ArXiv.
Nazareno Aguirre,
Marcelo F. Frias,
Carlos López Pombo,
2007,
TSEM.
Marcelo F. Frias,
Corina S. Pasareanu,
Willem Visser,
2015,
SPIN.
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.
Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer,
2002,
Fundam. Informaticae.
Marcelo F. Frias,
Roger D. Maddux,
1997,
RelMiCS.
Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer,
1996,
Ershov Memorial Conference.
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,
Marcelo F. Frias,
Pablo Ponzio,
2018,
Softw. Test. Verification Reliab..
Marcelo F. Frias,
Mariano M. Moscato,
Carlos López Pombo,
2010,
ICTAC.
Marcelo F. Frias,
Lorena Bourg,
Gabriela Steren,
2006,
RelMiCS.
Marcelo F. Frias,
Carlos López Pombo,
2006,
J. Log. Algebraic Methods Program..
Marcelo F. Frias,
Armando Martin Haeberer,
1998,
Log. J. IGPL.
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2014,
Softw. Test. Verification Reliab..
Marcelo F. Frias,
2002,
Advances in Logic.
Nazareno Aguirre,
Marcelo F. Frias,
Willem Visser,
2015,
IEEE Transactions on Software Engineering.
Marcelo F. Frias,
Mariano M. Moscato,
Carlos López Pombo,
2013,
LAFM.
A calculus for program construction based on fork algebras, generic algorithms and design strategies
Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer,
1998,
RelMiCS.
Sarfraz Khurshid,
Nazareno Aguirre,
Marcelo F. Frias,
2014,
OOPSLA 2014.
Marcelo F. Frias,
Gabriel Baum,
Armando Martin Haeberer,
1997,
RelMiCS.
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Marcelo F. Frias,
2002
.
Nazareno Aguirre,
Marcelo F. Frias,
Gabriel Alfredo Baum,
1999
.
Marcelo F. Frias,
Paulo A. S. Veloso,
Armando Martin Haeberer,
1997,
Log. J. IGPL.
Marcelo F. Frias,
Diego Garbervetsky,
Bruno Cuervo Parrino,
2014,
Software & Systems Modeling.
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.
Marcelo F. Frias,
Carlos López Pombo,
2010,
ICTAC.
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..
Ali Mili,
Marcelo F. Frias,
Wided Ghardallou,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Nazareno Aguirre,
Marcelo F. Frias,
Marcelo Uva,
2018,
International Journal on Software Tools for Technology Transfer.
Marcelo F. Frias,
Roger D. Maddux,
R. Maddux,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Marcelo F. Frias,
Carlos López Pombo,
Juan P. Galeotti,
2010,
ASM.
Darko Marinov,
Nazareno Aguirre,
Marcelo F. Frias,
2012,
TAP@TOOLS.
Silvia E. Gordillo,
Marcelo F. Frias,
S. Gordillo,
1995,
ADBIS.
Marcelo F. Frias,
Paulo A. S. Veloso,
Gabriel Baum,
1997,
Relational Methods in Computer Science.
Nazareno Aguirre,
Marcelo F. Frias,
T. S. E. Maibaum,
2005,
ACM Trans. Softw. Eng. Methodol..
Nazareno Aguirre,
Marcelo F. Frias,
Renzo Degiovanni,
2017
.
Marcelo F. Frias,
Lorena Bourg,
Gabriela Steren,
2005,
ASE '05.
Samir Elloumi,
Marcelo F. Frias,
Ali Jaoua,
2014,
J. Log. Algebraic Methods Program..
Marcelo F. Frias,
Carlos Gustavo Lopez Pombo,
2018
.
Marcelo F. Frias,
Carlos López Pombo,
Juan P. Galeotti,
2010,
ISSTA '10.
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.
Marcelo F. Frias,
Pablo E. Martínez López,
Gabriel Baum,
1996,
MFCS.
Nazareno Aguirre,
Marcelo F. Frias,
Juan P. Galeotti,
2008,
ICFEM.
Nazareno Aguirre,
Marcelo F. Frias,
Willem Visser,
2016,
SIGSOFT FSE.
Marcelo F. Frias,
Ewa Orlowska,
1998,
J. Appl. Non Class. Logics.
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).
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).
Marcelo F. Frias,
Ewa Orlowska,
1995
.