1 citations · 1 across the 9 of their papers we have counts for
10 papers
DiffTestGen: Change-Directed LLM-Based Testing for Exposing Behavioral Differences
Huimin Hu, Cristian Cadar, Michael Pradel
As software evolves over time, it is important to ensure that any behavioral changes occur as intended by developers. A promising approach for this goal is to generate tests that e…
RippleGUItester: Change-Aware Exploratory Testing
Yanqi Su, Michael Pradel, Chunyang Chen
Software systems evolve continuously through frequent code changes, yet such changes often introduce unintended bugs despite extensive testing and code review. Existing testing app…
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…
PatchGuru: Patch Oracle Inference from Natural Language Artifacts
Thanh Le-Cong, Bach Le, Toby Murray +2
As software systems evolve, patches may unintentionally alter program behavior. Validating patches against their intended semantics is difficult due to incomplete regression tests…
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…
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
Lars Gröninger, Beatriz Souza, Michael Pradel
Code changes are an integral part of the software development process. Many code changes are meant to improve the code without changing its functional behavior, e.g., refactorings…