《计算机学报》2016年第11

软件技术

文章题目:一种位置服务测试数据生成技术研究
作者:侯可佳 黄军 白晓颖 周立柱
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:一种基于加权软件行为图挖掘的软件错误定位方法
作者:苏小红 王甜甜 杨劭君 马培军
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:软件自适应:基于控制理论的方法
作者:杨启亮1),2) 马晓星2) 邢建春1) 胡昊2) 王平1) 韩德帅1)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:软件运行时可变性动态演化机制研究
作者:刘吉伟 毛新军
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:抽象精化和可满足性结合的EFSM模型测试用例优化生成
作者:陆公正1)2) 缪淮扣2)3)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:基于时间多栈下推网络的实时系统验证
作者:钱俊彦1) 甘鹏程1) 郭云川2) 赵岭忠1) 古天龙1)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:面向代码的软件能耗优化研究进展
作者:宋杰1) 孙宗哲1) 李甜甜2) 鲍玉斌2) 于戈2)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:工作流可满足性(≠)计数的固定参数线性算法
作者:翟治年1) 卢亚辉2) 周武杰1) 陈志豪3) 王中鹏1) 林江1)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:一种基于优先级的迭代划分测试方法
作者:章晓芳1),2) 章宗长1) 谢晓园3) 周谊成1)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:面向移动应用软件信息泄露的模型检测研究
作者:过辰楷1) 许静1) 司冠南2) 李恩鹏1) 徐思涵1)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:信息物理融合系统的软件需求分析
作者:刘春1) 黄冉冉1) 张伟2),3) 赵海燕2),3) 金芝2),3)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:基于统计分析的弱变异测试可执行路径生成
作者:党向盈1),2) 巩敦卫1),4) 姚香娟3)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:基于变量影响分析与数据变异的回归测试用例生成
作者:杨波1),2) 吴际2) 刘超2)
发表年:2016
发表期:11
全文:(PDF)下载

文章题目:左侧带权凸二分图动态权值匹配
作者:祖佺1) 张苗苗1) 刘静2)
发表年:2016
发表期:11
全文:(PDF)下载