|
| 1. 一种基于模型的云计算容错机制开发方法 （ 武义涵,黄罡,张颖,熊英飞 ） |
| 2. 一种基于特征模型和协同过滤的需求获取方法 （ 彭珍连,王健,何克清,唐明董 ） |
| 3. 基于CEGAR的C程序空指针解引用检测 （ 段钊,田聪,段振华 ） |
| 4. 软件仓库挖掘领域：贡献者和研究热点 （ 江贺,陈信,张静宣,韩雪娇,徐秀娟 ） |
| 5. 一种软件演化活动波及效应混合分析方法 （ 王炜,李彤,何云,李浩 ） |
| 6. 基于软件节点重要性的集成测试序列生成方法 （ 王莹,于海,朱志良 ） |
| 7. 一种基于图数据库的代码结构解析与搜索方法 （ 林泽琦,赵俊峰,谢冰 ） |
| 8. 基于输出域的测试用例自动生成方法研究 （ 尤枫,赵瑞莲,吕珊珊 ） |
| 9. 基于错误传播网络的回归测试用例排序方法 （ 潘伟丰,李兵,周晓燕,何鹏 ） |
| 10. 基于分支相关性分析的不可达路径检测方法 （ 姜淑娟,韩寒,史娇娇,张艳梅,鞠小林,钱俊彦 ） |
| 11. 基于求解开销预测的符号执行搜索策略研究 （ 刘经德,陈振邦,王戟 ） |
| 12. 基于排队理论的动态任务调度模型及容错 （ 何王全,魏迪,权建校,吴伟,漆锋滨 ） |
| 13. 基于云架构的交通感知数据集成处理平台 （ 赵卓峰,丁维龙,韩燕波 ） |
| 14. 基于非完全信息博弈的云资源分配模型 （ 苑迎,王翠荣,王聪,任婷婷,刘冰玉 ） |
| 15. 面向软件非功能需求的软件过程建模方法 （ 张璇,李彤,王旭,代飞,谢仲文,于倩 ） |
| 16. 具有程序的静态结构和动态行为语义的时序逻辑 （ 陈冬火,刘全,金海东,朱斐,王辉 ） |
| 17. MapReduce能耗建模及优化分析 （ 廖彬,张陶,于炯,尹路通,郭刚,国冰磊 ） |
| 18. MTruths：Web信息多真值发现方法 （ 马如霞,孟小峰,王璐,史英杰 ） |
| 19. 不确定感知的自适应云计算服务组合 （ 任丽芳,王文剑,许行 ） |
| 20. Onboard：以数据驱动的敏捷软件开发协同工具 （ 陈龙,叶蔚,张世琨 ） |
|
