-
邢穎
（北京郵電大學副教授）
鎖定
邢穎，北京郵電大學自動化學院、教育部信息網絡工程研究中心副教授。2014年畢業於北京郵電大學網絡與交換技術國家重點實驗室，獲得工學博士學位。2014-2016年在北京郵電大學信息與通信工程博士後流動站進行科研工作。主要研究方向為軟件測試、人工智能。主持國家自然科學基金、中國博士後科學基金及其他橫、縱向項目多項，並承擔了多個相關的國家級、省部級、橫向項目。
[1]
- 中文名
- 邢穎
- 國 籍
- 中國
- 畢業院校
- 北京郵電大學
- 學位/學歷
- 工學博士
- 職 業
- 教師
- 專業方向
- 軟件測試、機器學習、深度學習
邢穎研究領域
邢穎學術成果
邢穎科研項目
主持科研項目
（1）基於自適應約束構建與複雜程序結構約束求解的軟件缺陷自動確認研究國家自然科學基金（61702044）
（2）面向測試用例自動生成的回溯機制研究 北京郵電大學青年科研創新計劃專項 （2017RC27）
（3）加速測試用例生成的方法研究中國博士後科學基金 （2015M581032）
（4）智能終端投遞設備V1.0研發企、事業單位橫向委託項目
參加科研項目
（1）綜合指揮調度技術研究和“五跨”綜合指揮調度信息平台開發國家重點研發計劃 （2016YFC0803206）
（2）儲糧害蟲遠程在線信息採集終端研究公益性行業科研專項（201513002-3-2）
（3）糧食乾燥系統能源種類與裝備型式的能效與質量優化公益性行業科研專項（201413006-4）
（4）代碼疑似故障自動確認技術研究基地自主科研項目（NST20160106）
（5）可信軟件理論、方法集成與綜合試驗平台企、事業單位橫向委託項目
（6）郵政編碼編制規則優化調整研究企、事業單位橫向委託項目
（7）中國糧食儲備體系仿真優化系統可視化系統開發企、事業單位橫向委託項目
邢穎論文
（1） The Application of Iterative Interval Arithmetic in Path-wise Test Data Generation（第一作者）
《Engineering Applications of Artificial Intelligence》, 2015.10（SCI: 000362130500034, IF: 2.894, EI: 20153701263768）
（2） A Hybrid Backtracking Algorithm for Automatic Test Data Generation（第一作者）
《Tehnički vjesnik–Technical Gazette》, 2017.06（SCI：000403788500016, IF: 0.723; EI: 20172503805405）
（3） Path-wise Test Data Generation Based on Heuristic Look-ahead Methods（第一作者）
《Mathematical Problems in Engineering》, 2014.05（SCI: 000336322000001, IF: 0.802; EI: 20142417806797）
（4） A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation（第一作者）
《Mathematical Problems in Engineering》, 2015.09（SCI：000361691200001, IF: 0. 802; EI: 20153901313787）
（5） Optimized Branch and Bound for Path-wise Test Data Generation（第二作者兼通訊作者）
《International Journal of Computers Communications & Control》, 2014.08（SCI: 000337771000011, IF: 1.374）
（6） Automatic Classification of Remote Sensing Images Using Multiple Classifier Systems（第三作者）
《Mathematical Problems in Engineering》, 2015.10（SCI: 000363210300001, IF: 0.802; EI: 20154401469684）
（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）
（10） Intelligent Test Case Generation Based on Branch and Bound（第一作者）
《The Journal of China Universities of Posts and Telecommunications》, 2014.04（EI: 20142117753220）
（11） An Intelligent Method for Test Data Generation Based on Optimized Interval Arithmetic（第一作者）
《International Journal of Database Theory and Application》, 2014.04（EI: 20141017437324）
（12） An Intelligent Method Based on State Space Search for Automatic Test Case Generation（第一作者）
《Journal of Software》, 2014.04（EI: 20140917410976）
（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: 20142817929947）
（14） A Fast and Simple Adaptive Bionic Wavelet Transform: ECG Baseline Shift Correction（第三作者）
《Cybernetics & Information Technologies》2017.6 （EI：20170603332704）
（15）基於人工免疫算法的高效迴歸測試用例集約簡機制（第二作者兼通訊作者） 《東南大學學報（自然科學版）》2017.11（EI）
（16）測試用例自動生成中等式約束處理策略研究 （第二作者） 《計算機輔助設計與圖形學學報》2017.09 （EI：20174404325789）
（17）基於缺陷檢測難度的測試用例檢錯能力模型（第三作者） 《北京郵電大學學報》 2017.10（EI：20180504689472）
（18）面向C語言的故障注入平台 （第四作者） 《北京郵電大學學報》 2016.06（EI：20164002861583）
（19）基於抽象區域內存模型的C程序靜態分析 （第四作者）《軟件學報》, 2014.02（EI: 20141017430650）
（20） An Approach to Fully Recognizing Addressable Expression（第二作者）
13th International IEEE Conference on Quality Software（QSIC）, 2013.07（EI: 20134316874438）
（21） Automatically Mining Similar Warnings and Warning Combinations（第三作者）
2013 10th International Conference on Fuzzy Systems and Knowledge Discovery（FSKD）, 2013.07（EI: 20142417815714）
（22） Remote Sensing Image Classification Based on Improved BP Neural Network（第三作者）
邢穎論著
（2）《源代碼分析》2018.01科學出版社
（3）《軟件測試教程》（第2版）2016.06機械工業出版社
邢穎教學工作
講授課程：《人工智能原理及應用》、《敏捷軟件開發基礎》、《移動互聯網》、《計算機文化基礎》
[1]
- 參考資料
-
- 1. 邢穎 ．北京郵電大學[引用日期2019-08-07]
