Dr. Marcelo Frias is a Professor in the Computer Science Department at the University of Texas at El Paso. His research interests are in the area of Automated Software Engineering, with focus on fault detection, test generation, automated program repair and synthesis of specifications.

• Marshall of Graduate Students, School of Engineering, Commencement Ceremony - Graduate School, UTEP (12/15/2024)
• Amazon Research Award - Amazon Web Services (03/01/2021-03/31/2021)
• Best paper award - IEEE/ACM (05/23/2017)
• Best paper award - Brazilian Society for Computer Science (11/25/2016)
• Best Paper Award - European Association for Software Science and Technology (EASST) (03/28/2007)
• Bernardo Houssay Award to Scientific and Technological Research (young researcher in Computer Science) - Argentinean Secretary of Science and Technology (05/01/2003-05/31/2003)

• Ph D in Computer Science, Pontifcia Universidade Catolica in Rio de Janeiro (1998)
• BS in Computer Science, Universidad de Buenos Aires (1992)

• An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding Rigorous State-Based Methods (ABZ 2024, Springer) LNCS 14759 (2024), Cesar Cornejo, Maria Marta Novaira, Sonia Parmigiani, Nazareno Aguirre, Marcelo Frias, Simon Gutierrez Brida, German Regis.
• BEAPI: A tool for bounded exhaustive input generation from APIs Science of Computer Programming (Elsevier) 238 (2024), Mariano Politano, Valeria Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo Frias, Pablo Ponzio.
• Abstraction-Aware Inference of Metamorphic Relations Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE) 1 FSE (2024), Agustin Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastian Uchitel, Nazareno Aguirre, Marcelo Frias.
• Precise Lazy Initialization for Programs with Complex Heap Inputs 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 34th (2023), Juan M. Copia, Facundo Molina, Nazareno M. Aguirre, Marcelo Frias, Alessandra Gorla, Pablo Ponzio.
• A Study of the Electrum and DynAlloy Dynamic Behavior Notations IEEE Transactions on Software Engineering 49 11 (2023), Cesar Cornejo, German Regis, Nazareno M. Aguirre, Marcelo F. Frias.

No info available.

• Modular Bounded Verification with Expressive Contracts