paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Code Wars: Adversarial Self-Play for Evolving Software Validation Tools

Code Wars:面向软件验证工具演化的对抗性自博弈
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 6/10 · 论文用 LLM 智能体对抗自博弈改进软件验证与技术债检测,属于“AI→PL:利用 LLM/Agent 改进程序分析/验证”的相邻方向;但未聚焦静态分析或形式化验证,且仅是初步 proof-of-concept,理论深度与工业落地证据有限。引用 0 inbox
Merve Astekin, Sagar Sen, Arda Göknil, Hasan Sözer
crossref: 2026-09-12

AI 速览

一句话:提出三个LLM智能体攻防审对抗自博弈,提升软件验证与技术债检测准确率。

该文探索机器能否通过自我博弈来强化软件,而非玩游戏。作者构建概念验证系统“Code Wars”,包含三个由大语言模型驱动的智能体:攻击者生成含缺陷代码,防御者寻找漏洞,裁判评估二者表现。在攻防循环中,智能体相互促进,形成持续精炼的军备竞赛。初步评估聚焦技术债检测,在基准数据集上准确率从19.73%提升至49.66%。结果表明,受自博弈启发的思路可能有助于软件验证工具的发展。

问题
如何利用大语言模型与自博弈机制来增强软件验证工具,尤其是检测代码缺陷与技术债。
方法
设计攻击者、防御者、裁判三个LLM智能体的对抗自博弈框架,通过生成含缺陷代码、发现漏洞和评判形成演化循环。
评估
在技术债检测基准数据集上进行初步评估,准确率从19.73%提高到49.66%。
原文摘要(Abstract)

Self-play has reshaped the landscape of AI, producing agents like AlphaGo and AlphaZero that outmatch human mastery through recursive learning. In this work, we ask: can machines play against themselves not to win games, but to strengthen software? We explore this idea in the realm of software validation, where large language models (LLMs) trained on vast oceans of code hold within them entire worlds of logic, error, and repair. Our proof-of-concept system features three LLM-driven agents: an attacker that crafts flawed code, a defender that hunts for vulnerabilities, and a judge that weighs their wits. In this evolving dance of sabotage and defense, the agents sharpen each other, creating a self-sustaining arms race of refinement. In our preliminary evaluation of adversarial self-play for technical debt detection, we observe improvement in accuracy from 19.73% to 49.66% on a benchmark dataset. Our findings offer an early indication that ideas inspired by self play may contribute to the development of software validation tools.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11984,
  title = {Code Wars: Adversarial Self-Play for Evolving Software Validation Tools},
  author = {Merve Astekin and Sagar Sen and Arda Göknil and Hasan Sözer},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3786582.3786831}
}