Specification Grounding Drives Test Effectiveness for LLM Code

论文分析 LLM 生成测试的有效性是否来自规格 grounding，而不只是测试数量。它把需求说明与测试生成联系起来，考察更贴近 specification 的测试是否更能暴露代码缺陷。看点在于结论方向很工程化：提升测试质量可能要先改善规格和引用机制，而不是盲目让模型生成更多 case。