邢颖，北京邮电大学自动化学院副教授。主持国家自然科学基金“基于自适应约束构建与复杂程序结构约束求解的软件缺陷自动确认研究”（61702044）、北京邮电大学青年科研创新计划专项“面向测试用例自动生成的回溯机制研究”、横向项目“智能终端投递设备V1.0研发”。参与国家自然科学基金2项、国家重点研发计划2项、公益性行业科研专项2项、横向项目多项。
温馨提示：请使用罗湖图书馆的读者帐号和密码进行登录
