arXiv· Erfan Arvan·· 3 天前推荐指数38
Template-Free Dynamic Invariant Detection：用 LLM 替代模板的动态不变量检测工具 Oca
Template-Free Dynamic Invariant Detection
AI 导读
arXiv 论文提出用大语言模型（LLM）替代固定模板库来提出动态不变量，并实现工具 Oca，在真实开源 Java 项目上与基于模板的 Daikon 对比。
来源：arXiv · arxiv.org
Template-Free Dynamic Invariant Detection：用 LLM 替代模板的动态不变量检测工具 Oca