标签
HERO 提出了一种结合离线与测试时 harness 优化的方法，通过执行验证得到的成功和失败样本学习可复用的提示词更新，并在测试时利用执行反馈对生成的代码进行精细调整，在 SQL、Cypher 和 Python 基准测试中将 pass@1 提升了约 9.6 个百分点。
Reify 是一款基于语义具体化技术的开源随机 C 程序生成器，能够生成不含未定义行为的代码，专用于编译器测试。它已在 GCC 和 LLVM 中发现了 59 个 bug，并在 OpenJ9 和 Linux 的 eBPF 运行时中发现了额外的缺陷。