目录
系统软件构造与验证技术专题
系统软件构造与验证技术专题前言赵永望;刘杨;王戟;1241-1242
静态程序分析并行化研究进展陆申明;左志强;王林章;1243-1254
深度神经网络测试研究综述王赞;闫明;刘爽;陈俊洁;张栋迪;吴卓;陈翔;1255-1275
面向顺序存储结构的数据流分析王淑栋;尹文静;董玉坤;张莉;刘浩;1276-1293
基于深度学习的安全缺陷报告预测方法实证研究郑炜;陈军正;吴潇雪;陈翔;夏鑫;1294-1313
Web应用前后端融合的遗传算法并行化测试用例生成王微微;李奕超;赵瑞莲;李征;1314-1331
CRDT协议的TLA+描述与验证纪业;魏恒峰;黄宇;吕建;1332-1352
嵌入式实时操作系统内核混合代码的自动化验证框架郭建;丁继政;朱晓冉;1353-1373
区域控制器的安全需求建模与自动验证刘筱珊;袁正恒;陈小红;陈铭松;刘静;周庭梁;1374-1391
基于TEE的主动可信TPM/TCM设计与实现董攀;丁滟;江哲;黄辰林;范冠男;1392-1405系统软件与软件工程
区块链隐私保护研究与实践综述张奥;白晓颖;1406-1434
智能代码补全研究综述杨博;张能;李善平;夏鑫;1435-1453
一种基于深度森林的恶意代码分类方法卢喜东;段哲民;钱叶魁;周巍;1454-1464模式识别与人工智能
基于深度学习的自然场景文本检测与识别综述王建新;王子亚;田萱;1465-1496
多标记众包学习李绍园;姜远;1497-1510
森林优化特征选择算法的增强与扩展刘兆赓;李占山;王丽;王涛;于海鸿;1511-1524
拉普拉斯阶梯网络胡聪;吴小俊;舒振球;陈素根;1525-1535计算机网络与信息安全
基于最小路径交叉度的域内路由保护方案耿海军;施新刚;王之梁;尹霞;胡治国;1536-1548
基于小波能谱熵和隐半马尔可夫模型的LDoS攻击检测吴志军;李红军;刘亮;张景安;岳猛;雷缙;1549-1562
基于代理重加密的云数据访问授权确定性更新方案苏铓;吴槟;付安民;俞研;张功萱;1563-1572计算机图形学与计算机辅助设计
轮廓指导的层级混合多任务全卷积网络何克磊;史颖欢;高阳;1573-1584
《软件学报》投稿指南复制链接新浪微博微信扫一扫

1585
《软件学报》2020年专刊/专题出版计划1586