RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols
机构 * Department of Computer Science, Purdue University(计算机科学系,普渡大学)
专题命中 软件智能体 :agent(title,abstract);autonomous agent(abstract);分类 cs.AI、cs.SE
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
机构 * Department of Computer Science, Purdue University(计算机科学系,普渡大学)
专题命中 软件智能体 :agent(title,abstract);autonomous agent(abstract);分类 cs.AI、cs.SE
机构 * University of Leeds(利兹大学) ; TurinTech AI(都灵科技AI) ; Harbin Normal University(哈尔滨师范大学) ; Universidad Politécnica de Madrid(马德里理工大学) ; University of Trieste(特里este大学) ; King’s College London(伦敦国王学院) ; University College London(伦敦大学学院)
专题命中 软件智能体 :agent(title,abstract);分类 cs.AI、cs.SE
Comments Accepted by SSBSE'25 Challenge Track
专题命中 软件智能体 :agent(title,abstract);分类 cs.SE
Comments Accepted by ASE2025
专题命中 软件智能体 :agent(abstract);workflow(abstract);agentic(abstract);分类 cs.SE
Comments We also open source our code at https://anonymous.4open.science/r/SemAgent-7B2F/README.md
机构 * Google DeepMind(谷歌DeepMind)
专题命中 软件智能体 :agent(abstract);planning(abstract);分类 cs.AI
机构 * Microsoft Corporation(微软公司)
专题命中 软件智能体 :AI agent(abstract);分类 cs.AI
Comments 11 pages Includes simulations with over 4 million steps
专题命中 软件智能体 :agent(abstract);分类 cs.SE