3 papers
cs.SE2026
Advances and Frontiers of LLM-based Issue Resolution in Software Engineering: A Comprehensive Survey
Caihua Li, Lianghong Guo, Yanlin Wang +9
Issue resolution, a complex Software Engineering (SWE) task integral to real-world development, has emerged as a compelling challenge for artificial intelligence. The establishment…
cs.SE2025
Trace: Securing Smart Contract Repository Against Access Control Vulnerability
Chong Chen, Jiachi Chen, Lingfeng Bao +7
Smart contract vulnerabilities, particularly improper Access Control that allows unauthorized execution of restricted functions, have caused billions of dollars in losses. GitHub h…
cs.SE2025
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
Jiachi Chen, Zhenzhe Shao, Shuo Yang +5
In recent years, the Ethereum platform has witnessed a proliferation of smart contracts, accompanied by exponential growth in total value locked (TVL). High-TVL smart contracts oft…