Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Patch Validation in Automated Vulnerability Repair
Zheng Yu, Wenxuan Shi, Xinqian Sun +3
Automated Vulnerability Repair (AVR) systems, especially those leveraging large language models (LLMs), have demonstrated promising results in patching vulnerabilities -- that is,…
cs.SE2025
Agentic Specification Generator for Move Programs
Yu-Fu Fu, Meng Xu, Taesoo Kim
While LLM-based specification generation is gaining traction, existing tools primarily focus on mainstream programming languages like C, Java, and even Solidity, leaving emerging a…