目录
理论计算机科学
取定s的严格d-正则随机(3,2s)-SAT问题的可满足临界王永平;许道云;2629-2641
系统软件与软件工程
领域驱动设计模式的收益与挑战:系统综述贾子甲;钟陈星;周世旗;荣国平;章程;2642-2664
软件缺陷自动修复技术综述姜佳君;陈俊洁;熊英飞;2665-2690
面向关键字流图的相似程序间测试用例的重用钱忠胜;宋涛;2691-2712
基于程序层次树的日志打印位置决策方法贾统;李影;张齐勋;吴中海;2713-2728
基于日志挖掘的微服务测试集缩减技术陈立哲;吴际;杨海燕;张奎;2729-2743
模式识别与人工智能
基于局部搜索的并行扩展规则推理方法李壮;刘磊;张桐搏;周文博;吕帅;2744-2754
面向图像场景转换的改进型生成对抗网络肖进胜;周景龙;雷俊锋;李亮;丁玲;杜治一;2755-2768
基于多核CPU的表约束并行传播模式研究陈佳楠;李哲;李占山;2769-2782
基于多通道特征和自注意力的情感分类方法李卫疆;漆芳;余正涛;2783-2800
一种协同过滤式零次学习方法杨博;张钰雪晴;彭羿达;张春旭;黄晶;2801-2815
数据库技术
碎片化家谱数据的融合技术吴信东;李娇;周鹏;卜晨阳;2816-2836
计算机网络与信息安全
概率积分及其在PUFFIN算法中的应用尚方舟;孙兵;刘国强;李超;2837-2848
强安全模型下TLS1.3协议的形式化分析与优化陆思奇;周思渊;毛颖;2849-2866
一种高效低能耗移动数据采集与无线充电策略钟萍;徐爱昆;张艺雯;李亚婷;张一鸣;黄家玮;王建新;2867-2886
抗随机数后门攻击的密码算法康步荣;张磊;张蕊;孟欣宇;陈桐;2887-2900
基于卷积神经网络的低嵌入率空域隐写分析沈军;廖鑫;秦拯;刘绪崇;2901-2915
融合多种特征的恶意URL检测方法吴森焱;罗熹;王伟平;覃岩;2916-2934
抗量子计算的多变量盲签名方案俞惠芳;付帅凤;2935-2944
计算机体系结构
神威太湖之光上分子动力学模拟的性能优化田卓;陈一峯;2945-2962
一种基于两级缓存的协同缓存机制刘嘉琦;张亚文;张瀚文;孟绪颖;周继华;张玉军;2963-2976
《软件学报》投稿指南2977
《软件学报》2021年出版专刊/专题2978