跳到正文
arXiv cs.SE· S M Abdulla Al Mamun, Akif Islam, Mohd. Ruhul Ameen·· 3 小时前AI 评分31

超越 QASecClaw:软件保障中的智能体扩展、验证器反馈与证据可靠性

Beyond QASecClaw: Agent Scaling, Verifier Feedback, and Evidence Reliability in Software Assurance

AI 导读

研究基于 Qwen2.5-Coder-7B-Instruct(含 1.5B 敏感性分析)完成 13,638 次模型请求,在 Java 警告、OWASP Benchmark、Defects4J、SV-COMP 等五项实验中考察增加专家上下文能否提升软件保障。

来源:arXiv cs.SE · arxiv.org