《计算机学报》2015年第11期

软件工程

文章题目：基于接口自动机与符号执行的嵌入式软件测试用例生成
作者：王博1),2) 白晓颖1),2) 张超3) 贺飞3) SONG�餢iao-Yu4)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：随机模型检验研究
作者：刘阳1),2) 李宣东1) 马艳3) 王林章1)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：时间感知的Web搜索研究
作者：林盛1) 金培权1),2) 赵旭剑3) 岳丽华1),2)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：一种基于新型图模型的API推荐系统
作者：吕晨1),2) 姜伟3) 虎嵩林1)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：基于动态切片和关联分析的错误定位方法
作者：曹鹤玲1),2) 姜淑娟1) 鞠小林1),3) 王兴亚1)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：基于k近邻最弱前置条件的程序多路径验证方法
作者：郭曦1),4) 王盼2) 王建勇1) 张焕国3)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：并发缺陷暴露、检测与规避研究综述
作者：苏小红 禹振 王甜甜 马培军等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：基于情境感知的远程用户体验数据采集方法
作者：韩立 刘正捷 李晖 余晨晔 张军 陈媛嫄等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：基于路径相关性的回归测试数据进化生成
作者：吴川1) 巩敦卫2)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：软件错误自动定位关键科学问题及研究进展
作者：王克朝1),2) 王甜甜1) 苏小红1) 马培军1)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：一致闭的禁忌交互集生成算法
作者：周吴杰1),2) 张德平4) 徐宝文2),3)等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：基于懒符号执行的软件脆弱性路径求解算法
作者：秦晓军 周林 陈左宁 甘水滔等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：S-ABC——面向服务领域的人工蜂群算法范型
作者：徐晓飞 刘志中 王忠杰 闵寻优 刘睿霖 王海芳等
发表年:2015年
发表期:11期
全文：(PDF)下载

文章题目：基于变异分析和集合进化的测试用例生成方法
作者：张功杰1),3) 巩敦卫2) 姚香娟4)等
发表年:2015年
发表期:11期
全文：(PDF)下载