| |
2021年第32卷第4期目录下载本期目录
本期目录 专刊文章 | | | 面向领域的软件系统构造与质量保障专题前言 | | | 潘敏学，魏峻，崔展齐 | | | 出版日期: 2021-04-06 (2 页) | | | 2021,32(4):887-888 [摘要(1811)] [PDF 283.26 K (3481)] | | | | | 基于反例确认的CPS不确定性模型校准 | | | 杨文华，周宇，黄志球 | | | 出版日期: 2021-04-06 (15 页) | | | 2021,32(4):889-903 [摘要(1716)] [PDF 1.56 M (3628)] | | | | | 安全关键异构软件混合建模及代码生成方法 | | | 宗喆，杨志斌，袁胜浩，周勇，Jean-Paul BODELEIX，Mamoun FILALI | | | 出版日期: 2021-04-06 (30 页) | | | 2021,32(4):904-933 [摘要(1991)] [PDF 3.52 M (4355)] | | | | | 基于环境建模的物联网系统TAP规则生成方法 | | | 边寒，陈小红，金芝，张民 | | | 出版日期: 2021-04-06 (19 页) | | | 2021,32(4):934-952 [摘要(2314)] [PDF 1.99 M (8475)] | | | | | 区块链赋能的高效物联网数据激励共享方案 | | | 蔡婷，林晖，陈武辉，郑子彬，余阳 | | | 出版日期: 2021-04-06 (20 页) | | | 2021,32(4):953-972 [摘要(3066)] [PDF 2.03 M (6732)] | | | | | 时空轨迹数据驱动的自动驾驶场景元建模方法 | | | 张梦寒，杜德慧，张铭茁，张雷，王耀，周文韬 | | | 出版日期: 2021-04-06 (15 页) | | | 2021,32(4):973-987 [摘要(2396)] [PDF 1.85 M (5397)] | | | | | 基于深度学习的混合模糊测试方法 | | | 高凤娟，王豫，司徒凌云，王林章 | | | 出版日期: 2021-04-06 (18 页) | | | 2021,32(4):988-1005 [摘要(2605)] [PDF 1.78 M (5529)] | | | | | 一种结构信息增强的代码修改自动转换方法 | | | 曹英魁，孙泽宇，邹艳珍，谢冰 | | | 出版日期: 2021-04-06 (17 页) | | | 2021,32(4):1006-1022 [摘要(1907)] [PDF 1.69 M (3845)] | | | | | 融合代码与文档的软件功能特征挖掘方法 | | | 沈琦，钱莹，邹艳珍，伍仕骏，谢冰 | | | 出版日期: 2021-04-06 (16 页) | | | 2021,32(4):1023-1038 [摘要(2002)] [PDF 1.57 M (4003)] | | | | | 基于偶然正确性概率的错误定位技术 | | | 周小莉，赵建华 | | | 出版日期: 2021-04-06 (12 页) | | | 2021,32(4):1039-1050 [摘要(1828)] [PDF 1.26 M (3467)] | | | | | 面向神经机器翻译系统的多粒度蜕变测试 | | | 钟文康，葛季栋，陈翔，李传艺，唐泽，骆斌 | | | 出版日期: 2021-04-06 (16 页) | | | 2021,32(4):1051-1066 [摘要(2259)] [PDF 1.62 M (4189)] | | | |
综述文章
|
