64 citations · 106 across the 7 of their papers we have counts for
3 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…
Evaluating LLM Agents on Automated Software Analysis Tasks
Islem Bouzenia, Cristian Cadar, Michael Pradel
Numerous software analysis tools exist today, yet applying them to diverse open-source projects remains challenging due to environment setup, dependency resolution, and analysis to…
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…