姓名： 邢颖

职称/职务：副教授 硕导

电话：

邮箱：xingying@bupt.edu.cn

邮编：100876

办公地点：鸿通楼303



个人简介：
邢颖，北京邮电大学自动化学院、教育部信息网络工程研究中心副教授。2014年毕业于北京邮电大学网络与交换技术国家重点实验室，获得工学博士学位。2014-2016年在北京邮电大学信息与通信工程博士后流动站进行科研工作。主要研究方向为软件测试、人工智能。主持国家自然科学基金、中国博士后科学基金及其他横、纵向项目多项，并承担了多个相关的国家级、省部级、横向项目。
研究领域：
软件测试、机器学习、深度学习

科研项目：
主持科研项目
1)基于自适应约束构建与复杂程序结构约束求解的软件缺陷自动确认研究 国家自然科学基金 （**）
2)面向测试用例自动生成的回溯机制研究 北京邮电大学青年科研创新计划专项 （2017RC27）
3)加速测试用例生成的方法研究 中国博士后科学基金 （2015M581032）
4)智能终端投递设备V1.0研发 企、事业单位横向委托项目
参加科研项目
1)综合指挥调度技术研究和“五跨”综合指挥调度信息平台开发 国家重点研发计划 （2016YFC**）
2)储粮害虫远程在线信息采集终端研究 公益性行业科研专项（-3-2）
3)粮食干燥系统能源种类与装备型式的能效与质量优化 公益性行业科研专项（-4）
4)代码疑似故障自动确认技术研究 基地自主科研项目 (NST**)
5)可信软件理论、方法集成与综合试验平台 企、事业单位横向委托项目
6)邮政编码编制规则优化调整研究 企、事业单位横向委托项目
7)中国粮食储备体系仿真优化系统可视化系统开发 企、事业单位横向委托项目
8)电子商务与快递物流模式研究与相关技术研发 企、事业单位横向委托项目


教学工作：
讲授课程：《人工智能原理及应用》、《敏捷软件开发基础》、《移动互联网》、《计算机文化基础》

成果及论著：
论文：
1) The Application of Iterative Interval Arithmetic in Path-wise Test Data Generation （第一作者）
《Engineering Applications of Artificial Intelligence》, 2015.10 （SCI: 034, IF: 2.894, EI: 20**8）
2) A Hybrid Backtracking Algorithm for Automatic Test Data Generation（第一作者）
《Tehni?ki vjesnik –Technical Gazette》, 2017.06（SCI：016, IF: 0.723; EI: 20**5）
3) Path-wise Test Data Generation Based on Heuristic Look-ahead Methods（第一作者）
《Mathematical Problems in Engineering》, 2014.05（SCI: 001, IF: 0.802; EI: 20**7）
4) A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation（第一作者）
《Mathematical Problems in Engineering》, 2015.09 （SCI：001, IF: 0. 802; EI: 20**7）
5) Optimized Branch and Bound for Path-wise Test Data Generation（第二作者兼通讯作者）
《International Journal of Computers Communications & Control》, 2014.08 （SCI: 011, IF: 1.374）
6) Automatic Classification of Remote Sensing Images Using Multiple Classifier Systems（第三作者）
《Mathematical Problems in Engineering》, 2015.10 （SCI: 001, IF: 0.802; EI: 20**4）
7) A novel neural-network model for blood pressure estimation using photoplethesmography without electrocardiogram.
《Journal of Healthcare Engineering》, 2018.03. （第四作者）（SCI）
8) Automated String Constraint Solving for Programs Containing String Manipulation Functions.
《Journal of Computer Science and Technology》, 2017.12. （第四作者）（SCI）
9)基于分支限界搜索框架的测试用例自动生成, 《中国科学：信息科学》, 2014.10 （第一作者）
10) Intelligent Test Case Generation Based on Branch and Bound（第一作者）
《The Journal of China Universities of Posts and Telecommunications》, 2014.04 （EI: 20**0）
11) An Intelligent Method for Test Data Generation Based on Optimized Interval Arithmetic（第一作者）
《International Journal of Database Theory and Application》, 2014.04 （EI: 20**4）
12) An Intelligent Method Based on State Space Search for Automatic Test Case Generation（第一作者）
《Journal of Software》, 2014.04 （EI: 20**6）
13) A Method of Path Feasibility Judgment Based on Symbolic Execution and Range Analysis（第二作者）
《International Journal of Future Generation Communication and Networking》, 2014.06 （EI: 20**7）
14) A Fast and Simple Adaptive Bionic Wavelet Transform: ECG Baseline Shift Correction （第三作者）
《Cybernetics & Information Technologies》2017.6 (EI：20**4)
15)基于人工免疫算法的高效回归测试用例集约简机制（第二作者兼通讯作者） 《东南大学学报（自然科学版）》 2017.11 （EI）
16)测试用例自动生成中等式约束处理策略研究 （第二作者） 《计算机辅助设计与图形学学报》 2017.09 (EI：20**9)
17)基于缺陷检测难度的测试用例检错能力模型（第三作者） 《北京邮电大学学报》 2017.10 （EI：20**2）
18)面向C语言的故障注入平台 （第四作者） 《北京邮电大学学报》 2016.06 （EI：20**3）
19)基于抽象区域内存模型的C程序静态分析 （第四作者）《软件学报》, 2014.02 （EI: 20**0）
20) An Approach to Fully Recognizing Addressable Expression（第二作者）
13th International IEEE Conference on Quality Software （QSIC）, 2013.07 （EI: 20**8）
21) Automatically Mining Similar Warnings and Warning Combinations（第三作者）
2013 10th International Conference on Fuzzy Systems and Knowledge Discovery （FSKD）, 2013.07 （EI: 20**4）
22) Remote Sensing Image Classification Based on Improved BP Neural Network（第三作者）
2011 International Symposium on Image and Data Fusion （ISIDF）, 2011.08（EI: 201**）

论著：
1)《电子商务网站实训》 2017.10 北京大学出版社
2)《源代码分析》 2018.01 科学出版社
3)《软件测试教程》（第2版） 2016.06 机械工业出版社
4)《面向对象软件工程》（译著） 2017.01 清华大学出版社