Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE
Lingfeng Chen, Tao Xiao, Masanari Kondo +1
Symbolic execution effectively discovers security violations but suffers from path explosion. Engines like KLEE therefore use path prioritization heuristics to order state explorat…
cs.SE2026
More Code, Less Reuse: Investigating Code Quality and Reviewer Sentiment towards AI-generated Pull Requests
Haoming Huang, Pongchai Jaisri, Shota Shimizu +3
Large Language Model (LLM) Agents are advancing quickly, with the increasing leveraging of LLM Agents to assist in development tasks such as code generation. While LLM Agents accel…