博士生王海军博士TSE论文被接收
发布时间：2016-09-06
点击次数：
- 发布时间：
- 2016-09-06
- 文章标题：
- 博士生王海军博士TSE论文被接收
- 内容：
王海军同学博士答辩通过，获得博士学位。
王海军博士研究方向为软件测试。提出的基于程序依赖关系引导的符号执行技术研究论文发表在软件工程领域顶级期刊IEEE Transaction on Software Engineering ，论文主要利用程序依赖关系引导符号执行选择性地生成测试案例，在保证和传统符号执行相同错误检测能力下，避免系统性地探索程序路径。
- 上一条：博士生王海军通过博士答辩
- 下一条：14级硕士生孙鸿赴香港中文大学访学交流