| 标题 | 作者 | 年卷期:起止页码 | 复制 |
|
大语言模型赋能软件形式化验证研究综述
|
文成，马智，胡俊杰，王竟亦，苏杰，许智武，刘杜钢，田聪，秦胜潮，杨孟飞
|
2026,37(9):-
|
|
|
数学分析机械化工程I：一元微积分形式化系统
|
窦国威，郁文生
|
2026,37(9):-
|
|
|
从设计到安全分析:异构模型转换与交叉验证
|
吴梦丹，杨顺昆，侯展意，佘志坤，曾福萍，冀振燕
|
2026,37(9):-
|
|
|
AWTaint: 面向Web应用漏洞检测的增量静态分析框架
|
罗天涵，肖庆，戴嘉润，谭杰
|
2026,37(9):1-28
|
|
|
混成精化逻辑
|
孙欢，王竟亦，王文海
|
2026,37(9):1-13
|
|
|
基于按需切片计算的并行化程序分析框架
|
李俊锋，苑旭东，魏晨雨，厉剑豪，张迎周
|
2026,37(9):1-22
|
|
|
基于大语言模型的Python到Dafny 代码翻译
|
杜奕成，卢奕函，朱雪阳，张文辉
|
2026,37(9):1-17
|
|
|
观察树驱动的确定性时间自动机主动学习
|
滕宇，张苗苗
|
2026,37(9):1-21
|
|
|
模糊映射熵驱动的强化学习系统安全监控方法
|
杨敏，周子渊，李晓锋，刘关俊
|
2026,37(9):1-20
|
|
|
基于Auto-active与交互式集成的L4线程管理形式化验证
|
章乐平，赵永望，王布阳，李建欣
|
2026,37(9):1-17
|
|
|
基于并行探索的大模型缺陷定位增强
|
秦意浩，王尚文，林博，陈立前，刘万伟，毛晓光
|
2026,37(8):1-19
|
|
|
基于大语言模型智能体的代码生成综述
|
董益宏，姜雪，钱家如，王天，张克驰，金芝，李戈
|
2026,37(8):1-27
|
|
|
大语言模型智能体在软件系统根因分析中的应用综述
|
康俊驰，丁博，冯大为，翟远钊，张迅晖，王怀民
|
2026,37(8):1-25
|
|
|
SmartGen-AADL: 多智能体系统需求分析与AADL模型生成
|
葛楚妍，王培远，王甜甜，黄钇茗，杨小天
|
2026,37(8):1-37
|
|
|
面向软件测试领域知识问答的大模型评估
|
陈煜磊，聂钰格，吴化尧
|
2026,37(8):1-17
|
|
|
面向Linux内核开发知识的大模型问答能力评测
|
欧闻毅，吴毅坚，黄宸一，彭鑫
|
2026,37(8):1-28
|
|
|
基于文本表达特征分析的大语言模型协议交互抽取
|
张伯洋，钱巨，唐靖然，卫依
|
2026,37(8):1-18
|
|
|
面向Web应用漏洞检测的多数据流静态分析方法
|
毛祥煜，肖庆，戴嘉润，何君尧，谭杰
|
2026,37(7):-
|
|
|
基于个性化联邦学习的跨项目软件缺陷预测方法
|
刘子扬，祝义，周湘，李建豪，袁春鸿，郝国生
|
2026,37(7):-
|
|
|
基于异常检查点植入的软件缺陷定位方法
|
宋壹，谢晓园，张熙灏，辛奇，邢宸亮
|
2026,37(7):-
|
|
|
