1 citations · 1 across the 2 of their papers we have counts for
5 papers · 1 filter
AgentStepper: Interactive Debugging of Software Development Agents
Robert Hutter, Michael Pradel
Software development agents powered by large language models (LLMs) have shown great promise in automating tasks like environment setup, issue solving, and program repair. Unfortun…
CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across Commits
Huimin Hu, Michael Pradel
During software evolution, developers commonly face the problem of mapping a specific code region from one commit to another. For example, they may want to determine how the condit…
Testora: Using Natural Language Intent to Detect Behavioral Regressions
Michael Pradel
As software is evolving, code changes can introduce regression bugs or affect the behavior in other unintended ways. Traditional regression test generation is impractical for detec…
Are "Solved Issues" in SWE-bench Really Solved Correctly? An Empirical Study
You Wang, Michael Pradel, Zhongxin Liu
Automated issue solving aims to resolve real-world issues in software repositories. The most popular benchmarks for automated issue solving are SWE-bench and its human-filtered sub…
Treefix: Enabling Execution with a Tree of Prefixes
Beatriz Souza, Michael Pradel
The ability to execute code is a prerequisite for various dynamic program analyses. Learning-guided execution has been proposed as an approach to enable the execution of arbitrary…