李征:北化信息科学与技术学院导师介绍:李 征 2024-05-05 06:36:23 0 0 李征教授 信息科学与技术学院 男, 1974年出生, 中共党员, 河北清苑人, 在读研究生:硕士 2人 电话:************ 电子信箱:lizheng@buct.edu.cn http://cist.buct.edu.cn/zheng 教育经历: 2005.9-2009.5 King's College London 博士 1992.9-1996.7 北京化工大学 本科 工作经历: 2010.11-至今 北京化工大学信息科学与技术学院,教授 2010.8-2010.11 英国大学学院(University College London)计算机系,副研究员 2005.6-2010.7 英国伦敦国王学院(King's College London)计算机系,助理研究员 2004.4-2005.5 英国布鲁奈尔大学(Brunel University)计算机系,访问学者 1996.8-2004.3 北京化工大学 学术兼职: STVR和JSS两期期刊客座编辑 IEEE SCAM2012 大会程序委员会主席 IEEE ICST2009 专题研讨会共同执行主席 程序委员会委员:ICSM2011,SCAM2009-2011,IWRT2011 主要研究领域: 基于搜索的软件工程和软件测试 程序依赖性分析及程序切片技术 基于状态模型的依赖性分析和切片技术 代表性论文: Kelly Androutsopoulos, Dave Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, and Zheng Li*. Model projection. In The 33rd International Conference on Software Engineering (ICSE2011), Honoulu, Hawaii, USA, May 2011. Nicolas Gold, Mark Harman, Zheng Li*, and Kiarash Mahdavi. Allowing overlapping boundaries in source code using a search based approach to concept binding. Information and Software Technology, 2011. To appear. Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li* An Alternative Characterization of Weak Order Dependence,Information Processing Letters(IPL),Volume 110, Issue 21, Pages 939-943,2010 Zheng Li* Identifying High-Level Dependence Structures Using Slice-Based Dependence Analysis the 25th IEEE International Conference on Software Maintenance (ICSM2009), pages 457-460, Edmonton, 20-26 September 2009. Z.Li*, M.Harman and R.Hierons. Search Algorithms for Regression Test Case Prioritization IEEE Transactions on Software Engineering. 33(4): 225-237, 2007. Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li*, Laurence Tratt Control dependence for extended finite state machines Fundamental Approaches to Software Engineering (FASE), March 2009, pages 216-230,York, UK, 22-29 March 2009. D.Binkley, N.Gold, M.Harman, Z.Li* and K.Mahdavi. An Empirical Study of the Relationship between the Concepts Expressed in Source Code and Dependence Journal of Systems and Software (JSS), 81(12):2287-2298, 2008. John Clark, Mark Harman, Zheng Li*, Phil McMinn and Jeff Offutt, Special Issue of Journal of Systems and Software devoted to extended papers from TAIC PART 2007 and Mutation 2007 Mark Harman, Zheng Li* and Phil McMinn,Special Issue of Software Testing, Verification and Reliability devoted to extended papers from TAIC PART 2006 获奖成果及荣誉称号: 博士论文被ICSM2009国际会议接收为优秀博士论文 "Control dependence for extended finite state machines" 获得FASE最佳论文奖 招生基本要求: 良好的计算机编程能力和英语能力 欢迎访问我的英文网页 http://cist.buct.edu.cn/zheng/ 收藏(0)