目录
软件技术
基于风险分析的回归测试用例优先级排序于海;杨月;王莹;张伟;朱志良;2127-2144
嵌入偏序约简的状态事件线性时序逻辑验证谢健;阚双龙;黄志球;王飞;杨志斌;李伟湋;2145-2159
一种融合语义资源的生物医学查询理解方法徐博;林鸿飞;林原;许侃;2160-2174
基于多目标优化算法NSGA-II推荐相似缺陷报告樊田田;许蕾;陈林;2175-2189
基于通用串预测算法的AVS2屏幕混合内容帧间编码优化赵利平;林涛;郭靖;周开伦;2190-2202
一种带自适应学习率的综合随机梯度下降Q-学习方法金海东;刘全;陈冬火;2203-2215
基于假位置和Stackelberg博弈的位置匿名算法夏兴有;白志宏;李婕;于瑞云;2216-2232
概念的渐进式认知理论与方法李金海;米允龙;刘文奇;2233-2250
基于抽象解释的嵌入式软件模块化Cache行为分析框架喻垚慎;黄志球;沈国华;王飞;崔少轩;2251-2266
基于离散差分演化的KPC问题降维建模与求解贺毅朝;王熙照;张新禄;李焕哲;2267-2280
基于历史的云平台故障注入测试马骅;聂长海;吴化尧;2281-2296
基于等同关系模型的演化算法期望首达时间对比分析冯夫健;黄翰;张宇山;郝志峰;2297-2308
一种基于识别重复路径的动态决策策略常文静;徐扬;2309-2322
敏捷开发环境中的回归测试优化技术王晓琳;曾红卫;林玮玮;2323-2338
基于动态采样和迁移学习的疾病预测模型胡满满;陈旭;孙毓忠;沈曦;王晓青;余天洋;梅御东;肖立;程伟;杨杰;杨焱;2339-2354