Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Auditing and Decomposing Feedback-Driven Evolution in LLM Test Generation under the Oracle Problem
Yunhao Liang, Chengguang Gan, Ruixuan Ying +3
Execution feedback is often treated as a self-verifying signal for improving LLM-generated tests. However, when generated inputs are executed on a single accepted program and its o…
cs.SE2026
Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits
Yunhao Liang, Chengguang Gan, Ruixuan Ying +3
Large language models (LLMs) can generate functionally useful code that remains vulnerable, while security-focused interventions may break intended behavior. We investigate securit…