4 papers
CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development
Peiding Wang, Li Zhang, Fang Liu +2
LLM-based code agents have advanced repository-level software development through iterative interaction with codebases and tools. However, feature development requires integrating…
Beyond "What to Retrieve": Uncertainty in Retrieval-Augmented Code Generation
Chandan Kumar Sah, Li Zhang, Xiaoli Lian
Repository-level code generation relies on heterogeneous evidence whose relevance, compatibility, and completeness are inherently uncertain. Similar-code examples, repository conte…
ContraFix: Skill-Enhanced Contrastive Runtime Analysis for Vulnerability Repair
Simiao Liu, Fang Liu, Peiding Wang +4
As software systems grow increasingly complex, automated vulnerability repair (AVR) remains difficult because the materials available to a repair system are usually failure artifac…
Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
Fang Liu, Tianze Wang, Li Zhang +3
Providing timely and personalized guidance for students' programming assignments, offers significant practical value for helping students complete assignments and enhance their lea…