7 citations · 12 across the 8 of their papers we have counts for
6 papers · 1 filter
Path2Spec: Path-Aware Specification Generation via Large Language Models
Dan Huang, Zhensu Sun, Huihui Huang +4
Formal specifications are critical for program verification, comprehension, and maintenance. However, manually writing them is costly and difficult to scale. Recent studies have sh…
A11YRepair: Bridging Web Accessibility Barriers via Knowledge-Enhanced Divide-and-Conquer Repair
Kai Huang, Ling Zhu, Jian Zhang +2
Web accessibility (A11Y), which ensures web content is perceivable and usable for users with disabilities, is a critical requirement for modern web applications. Yet existing tooli…
Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
Yujie Ma, Jialin Rong, Chenxi Yang +5
Large Language Models (LLMs) have been actively integrated into modern software systems as critical components, introducing a new type of software vulnerability, LLM-in-the-Loop (L…
TrajAudit: Automated Failure Diagnosis for Agentic Coding Systems
Minxing Wang, Xiaofei Xie, Yintong Huo
Agentic systems have been widely studied to automate coding tasks such as bug fixing and feature implementation. As these systems increasingly operate on complex codebases, underst…
Search-Induced Issues in Web-Augmented LLM Code Generation: Detecting and Repairing Error-Inducing Pages
Guoqing Wang, Zeyu Sun, Xiaofei Xie +4
Web-augmented large language models (LLMs) offer promising capabilities for automatic code generation. However, integrating live web search exposes models to unreliable or maliciou…
What Makes a Good LLM Agent for Real-world Penetration Testing?
Gelei Deng, Yi Liu, Yuekang Li +5
LLM-based agents show promise for automating penetration testing, yet reported performance varies widely across systems and benchmarks. We analyze 28 LLM-based penetration testing…