邢颖
副教授
个人简介
个人简介：
邢颖，北京邮电大学自动化学院、教育部信息网络工程研究中心副教授。2014年毕业于北京邮电大学网络与交换技术国家重点实验室，获得工学博士学位。2014-2016年在北京邮电大学信息与通信工程博士后流动站进行科研工作。主要研究方向为软件测试、人工智能。主持国家自然科学基金、中国博士后科学基金及其他横、纵向项目多项，并承担了多个相关的国家级、省部级、横向项目。
科研项目：
主持科研项目
1)基于自适应约束构建与复杂程序结构约束求解的软件缺陷自动确认研究国家自然科学基金（61702044）
2)面向测试用例自动生成的回溯机制研究北京邮电大学青年科研创新计划专项（2017RC27）
3)加速测试用例生成的方法研究中国博士后科学基金（2015M581032）
4)智能终端投递设备V1.0研发企、事业单位横向委托项目
参加科研项目
1)综合指挥调度技术研究和“五跨”综合指挥调度信息平台开发国家重点研发计划（2016YFC0803206）
2)储粮害虫远程在线信息采集终端研究公益性行业科研专项（201513002-3-2）
3)粮食干燥系统能源种类与装备型式的能效与质量优化公益性行业科研专项（201413006-4）
4)代码疑似故障自动确认技术研究基地自主科研项目(NST20160106)
5)可信软件理论、方法集成与综合试验平台企、事业单位横向委托项目
6)邮政编码编制规则优化调整研究企、事业单位横向委托项目
7)中国粮食储备体系仿真优化系统可视化系统开发企、事业单位横向委托项目
8)电子商务与快递物流模式研究与相关技术研发企、事业单位横向委托项目
教学工作：
讲授课程：《人工智能原理及应用》、《敏捷软件开发基础》、《移动互联网》、《计算机文化基础》
研究领域
软件测试、人工智能
软件测试、机器学习、深度学习
近期论文
1)TheApplicationofIterativeIntervalArithmeticinPath-wiseTestDataGeneration（第一作者）
《EngineeringApplicationsofArtificialIntelligence》,2015.10（SCI:000362130500034,IF:2.894,EI:20153701263768）
2)AHybridBacktrackingAlgorithmforAutomaticTestDataGeneration（第一作者）
《Tehničkivjesnik–TechnicalGazette》,2017.06（SCI：000403788500016,IF:0.723;EI:20172503805405）
3)Path-wiseTestDataGenerationBasedonHeuristicLook-aheadMethods（第一作者）
《MathematicalProblemsinEngineering》,2014.05（SCI:000336322000001,IF:0.802;EI:20142417806797）
4)AHybridIntelligentSearchAlgorithmforAutomaticTestDataGeneration（第一作者）
《MathematicalProblemsinEngineering》,2015.09（SCI：000361691200001,IF:0.802;EI:20153901313787）
5)OptimizedBranchandBoundforPath-wiseTestDataGeneration（第二作者兼通讯作者）
《InternationalJournalofComputersCommunications&Control》,2014.08（SCI:000337771000011,IF:1.374）
6)AutomaticClassificationofRemoteSensingImagesUsingMultipleClassifierSystems（第三作者）
《MathematicalProblemsinEngineering》,2015.10（SCI:000363210300001,IF:0.802;EI:20154401469684）
7)Anovelneural-networkmodelforbloodpressureestimationusingphotoplethesmographywithoutelectrocardiogram.
《JournalofHealthcareEngineering》,2018.03.（第四作者）（SCI）
8)AutomatedStringConstraintSolvingforProgramsContainingStringManipulationFunctions.
《JournalofComputerScienceandTechnology》,2017.12.（第四作者）（SCI）
9)基于分支限界搜索框架的测试用例自动生成,《中国科学：信息科学》,2014.10（第一作者）
10)IntelligentTestCaseGenerationBasedonBranchandBound（第一作者）
《TheJournalofChinaUniversitiesofPostsandTelecommunications》,2014.04（EI:20142117753220）
11)AnIntelligentMethodforTestDataGenerationBasedonOptimizedIntervalArithmetic（第一作者）
《InternationalJournalofDatabaseTheoryandApplication》,2014.04（EI:20141017437324）
12)AnIntelligentMethodBasedonStateSpaceSearchforAutomaticTestCaseGeneration（第一作者）
《JournalofSoftware》,2014.04（EI:20140917410976）
13)AMethodofPathFeasibilityJudgmentBasedonSymbolicExecutionandRangeAnalysis（第二作者）
《InternationalJournalofFutureGenerationCommunicationandNetworking》,2014.06（EI:20142817929947）
14)AFastandSimpleAdaptiveBionicWaveletTransform:ECGBaselineShiftCorrection（第三作者）
《Cybernetics&InformationTechnologies》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)AnApproachtoFullyRecognizingAddressableExpression（第二作者）
13thInternationalIEEEConferenceonQualitySoftware（QSIC）,2013.07（EI:20134316874438）
21)AutomaticallyMiningSimilarWarningsandWarningCombinations（第三作者）
201310thInternationalConferenceonFuzzySystemsandKnowledgeDiscovery（FSKD）,2013.07（EI:20142417815714）
22)RemoteSensingImageClassificationBasedonImprovedBPNeuralNetwork（第三作者）
2011InternationalSymposiumonImageandDataFusion（ISIDF）,2011.08（EI:20114214426386）