The University of Texas at El Paso — United States
Computer Science · Physical Sciences
19h-index1.1kcitations122works0.62yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(72), Formal Methods in Verification(50), Logic, programming, and type systems(41), Software Reliability and Analysis Research(40), Software Engineering Research(38)
Publications122 total
arXiv (Cornell University)·2025Open Access
ACM Transactions on Software Engineering and Methodology·2024Open Access
Proceedings of the ACM on software engineering.·2024· 4 citedOpen Access
Science of Computer Programming·2024
Lecture notes in computer science·2024· 1 cited
IEEE Transactions on Software Engineering·2023
Lecture notes in computer science·2023Open Access
2022· 2 citedOpen Access
2022· 17 cited
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)·2021· 1 cited
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)·2021· 3 cited
page 1 of 7Next →
Frequent Co-authors
Nazareno Aguirre(24), Carlos G. López Pombo(12), Juan Pablo Galeotti(10), Nicolás Rosner(9), Germán Regis(9), Gabriel Alfredo Baum(7), Simón Gutiérrez Brida(7), Pablo Ponzio(5), Ali Jaoua(5), Willem Visser(4), Ali Mili(4), Guolong Zheng(4), Hamid Bagheri(4), ThanhVu Nguyen(4), Renzo Degiovanni(4), Armando M. Haeberer(3), Mariano M. Moscato(3), César Cornejo(3), Valeria Bengolea(2), Tom Maibaum(2)