2 papers
cs.SE2025
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao, Weixuan Wang, Dong Liu +3
Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming increasingly popular. However, LLMs often hallucinate and perform poorly for complex and…
cs.SE2024
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
Yuan-An Xiao, Chenyang Yang, Bo Wang +1
Long patch validation time is a limiting factor for automated program repair (APR). Though the duality between patch validation and mutation testing is recognized, so far there exi…