1189_mfrias4_copy.jpg

Marcelo Fabian Frias

Software Engineering (SE) Automated Fault Detection Automated Test Generation Automated Specification Inference Automated Program Repair
The University of Texas at El Paso (UTEP) Computer Science

About

Mi research is within the field of Software Engineering. Within this area, I have researched on automated techniques that include automated fault detection, automated test generation, automated specification inference and automated program repair, all with applications to cybersecurity.I have published my research in the most important conferences and journals in the area, including IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, International Conference in Software Engineering (ICSE), International Conference on Automated Software Engineering (ASE), International Conference on the Foundations of Software Engineering (FSE), International Symposium on Software Testing and Analysis (ISSTA), etc.I have also served as reviewer and program committee member for all these venues.I am passionate about doing research in a close interaction with my students, including not only graduate, but also undergraduate.

Research Performance Summary

125
Total Papers
1796
Total Citations
24
H-Index
1993-2025
Active Research Span

First Recorded Paper

Development of graph algorithms with fork algebras

Year: 1993

Citations: 16

Venue: Proceedings of the XIX Latinamerican Conference on Informatics

Latest Recorded Paper

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria

Year: 2025

Citations: 0

Venue: ACM Transactions on Software Engineering and Methodology 34 (3)

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
1
2024
3
2023
4
2022
4
2021
10
2020
1
2019
5
2018
7
2017
4
2016
3
2015
4

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 72
Journal 14
Book 0

Top Coauthors

Frias Aguirre Ponzio

Research Impact by Period

2025-2026

Period Stats
Papers 1
Citations 0
Avg. Citations / Paper 0
H-Index 0

2020-2024

Period Stats
Papers 22
Citations 198
Avg. Citations / Paper 9
H-Index 7

2015-2019

Period Stats
Papers 23
Citations 268
Avg. Citations / Paper 11.7
H-Index 9

2010-2014

Period Stats
Papers 27
Citations 488
Avg. Citations / Paper 18.1
H-Index 11

2005-2009

Period Stats
Papers 17
Citations 315
Avg. Citations / Paper 18.5
H-Index 6

2000-2004

Period Stats
Papers 10
Citations 150
Avg. Citations / Paper 15
H-Index 6

1995-1999

Period Stats
Papers 21
Citations 324
Avg. Citations / Paper 15.4
H-Index 10

1990-1994

Period Stats
Papers 4
Citations 53
Avg. Citations / Paper 13.2
H-Index 4

Contact and Professional Links

Contact Information

mfrias4@utep.edu
9157475516

Detected Research Keywords

Analysis Alloy Models Analysis Invariants Efficient Invariants Efficient Bounded Efficient Bounded Verification Taco Efficient Sat Fork Algebras Algebra Algebras Algebra Logic Algebra Logic Computer Logic Computer Science Bounded Lazy Initialization