1 citations · 1 across the 9 of their papers we have counts for
5 papers · 1 filter
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…
Doc2Feat-Bench: Evaluating Documentation-Driven Feature Addition
Zhonghao Jiang, Le Deng, Jialun Cao +2
Documentation changes in mature software projects often describe newly introduced or modified behavior. This makes them a natural basis for documentation-driven feature addition, w…
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…