Michael Pradel
- Fuzz4All: Universal Fuzzing with Large Language Models
2023/08/09 by Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian +2 · 1 voice · 28 citations
Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.LG #cs.SE
- RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
2024/03/25 by Islem Bouzenia, Prémkumar Dévanbu, Bouzenia, Islem +3 · 77 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Small World with High Risks: A Study of Security Threats in the npm Ecosystem
2019/02/25 by Markus Zimmermann, Zimmermann, Markus, Cristian-Alexandru Staicu +5 · 1 voice · 10 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
- DeepBugs: A Learning Approach to Name-based Bug Detection
2018/04/30 by Michael Pradel, Pradel, Michael, Koushik Sen +1 · 6 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
2024/08/10 by Toufique Ahmed, Prémkumar Dévanbu, Ahmed, Toufique +5 · 16 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Model-Driven Software Engineering Techniques #Semantic Web and Ontologies
- Calibration and Correctness of Language Models for Code
2024/02/03 by C. Katharina Spieß, David Gros, Spiess, Claudio +14 · 12 citations
Computer Science · #Digital Rights Management and Security
- De-Hallucinator: Mitigating LLM Hallucinations in Code Generation Tasks via Iterative Grounding
2024/01/03 by Aryaz Eghbali, Michael Pradel, Eghbali, Aryaz +1 · 11 citations
Computer Science · #Computational Physics and Python Applications #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
- Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks
2021/12/12 by Jibesh Patra, Patra, Jibesh, Michael Pradel +1 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
- DiffSearch: A Scalable and Precise Search Engine for Code Changes
2022/04/06 by Luca Di Grazia, Di Grazia, Luca, Paul Bredl +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- A Survey on Testing and Analysis of Quantum Software
2024/10/01 by Matteo Paltenghi, Michael Pradel, Paltenghi, Matteo +1 · 3 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography
- NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition
2025/07/24 by Le Deng, Zhonghao Jiang, Deng, Le +7 · 9 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning and Data Classification #Natural Language Processing Techniques #Software Engineering (cs.SE) #Topic Modeling
- Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
2020/10/31 by Nikos Vasilakis, Vasilakis, Nikos, Cristian-Alexandru Staicu +11 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Web Application Security Vulnerabilities
- ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
2024/10/21 by Lars Gröninger, Beatriz Souza, Gröninger, Lars +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs
2026/07/17 by Doehyun Baek, Kilian Krampf, Michael Pradel
#cs.SE
- Prefactory: Automated Discovery and Application of Library-Adoption Refactorings
2026/07/19 by Islem Bouzenia, Michael Pradel
#cs.SE
- DiffTestGen: Change-Directed LLM-Based Testing for Exposing Behavioral Differences
2026/07/17 by Huimin Hu, Cristian Cadar, Michael Pradel
#cs.SE