Pradel, Michael

Automated program repair

Le Goues, C., Pradel, M., & Roychoudhury, A. (2019) · Communications of the ACM

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 410

Fuzz4ALL: Universal Fuzzing with Large Language Models

Xia, C. S., Paltenghi, M., Le Tian, J., Pradel, M., & Zhang, L. (2024) · Proceedings of the IEEE/ACM 46th International Conference on Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 229

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code

Eghbali, A., & Pradel, M. (2022) · Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

Software Engineering ResearchTeaching and Learning Programming

Cited by 42

You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects

Bouzenia, I., & Pradel, M. (2025) · Proceedings of the ACM on Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 35

Are “Solved Issues” in SWE-bench Really Solved Correctly? An Empirical Study

Wang, Y., Pradel, M., & Liu, Z. (2026) · Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 3

Automated Table Reproduction via Code Generation

Baek, D., & Pradel, M. (2026) · arXiv

Software Engineering ResearchScientific Computing and Data Management

Cited by 0