Martins, Ruben

Large Language Models for Test-Free Fault Localization

Yang, A. Z. H., Le Goues, C., Martins, R., & Hellendoorn, V. (2024) · Proceedings of the IEEE/ACM 46th International Conference on Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 144

Program synthesis using conflict-driven learning

Feng, Y., Martins, R., Bastani, O., & Dillig, I. (2018) · Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

Evolutionary Algorithms and ApplicationsLogic, programming, and type systems

Cited by 111