北化信息科学与技术学院导师介绍：李　征

 

李征教授 信息科学与技术学院

　　男， 1974年出生， 中共党员， 河北清苑人，
　　
　　在读研究生：硕士 2人
　　电话：010-64454674
　　电子信箱：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/