行业与实践 · 标签「符号执行」

研究与基准测试/2026-09-27/18 分钟

NeuroTestGen：用大语言模型做神经符号引导的测试生成

York 大学论文全译：符号执行（Z3）解数值路径 + LLM 解对象路径的混合测试生成。Defects4J 14 项目上，Claude 3.5 下行覆盖 70.88%→75.87%、分支 65.15%→70.87%，胜过 SOTA Panta。原文 CC BY 4.0。