1 citations · 1 across the 9 of their papers we have counts for
4 papers · 1 filter
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…