Zhenyu Zhang
Associate Research Professor, Ph.D
ACM Member, IEEE Member, CCF Member
Tel. (O): (+8610) 6266 1658
Fax (O): (+8610) 6266 1627
E-mail: zhangzy [at] ios.ac.cn
MSN: charles_zhang_cn@hotmail.com
LinkedIn: Zhenyu Zhang
Official Site: http://people.gucas.ac.cn/~zyzhang
Research interests
  1. Software engineering (software testing and software debugging, in particular)
  2. Verification, Programming language
  3. Wireless sensor networks (WSN), cloud computer, service computing
Selected Journal papers
  1. Zhenyu Zhang, W. K. Chan, and T. H. Tse, "Fault Localization without Success Record: a Review and Proposal", to appear in Computer (2012).
  2. Bo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, and T. Y. Chen, "How well does test case prioritization integrate with statistical fault localization?", Journal of Information and Software Technology (IST) (2012). doi:10.1016/j.infsof.2012.01.006. download pdf file
  3. Lei Zhao, Li-na Wang, Dongming Gao, Zhenyu Zhang, and Zuoting Xiong, "Mining Associations to Improve the Effectiveness of Fault Localization", to appear in Chinese Journal of Computers, (forthcoming).
  4. Qifeng Tang, Lei Xu, Ju Qian, Lin Chen, and Zhenyu Zhang, "A fault localization method based on model combination", China Sciencepaper 7(1): 19-27 (2012). (in Chinese) download pdf file
  5. Zhenyu Zhang, W. K. Chan, T. H. Tse, Y. T. Yu, and Peifeng Hu, "Non-Parametric Predicate-Based Fault Localization", Journal of Systems and Software (JSS) 84(6): 885-905 (2011). doi:10.1016/j.jss.2010.12.048. download pdf file
  6. Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, and Xinming Wang, "Fault Localization through Evaluation sequences", Journal of Systems and Software (JSS) 83(2): 174-187 (2010). doi:10.1016/j.jss.2009.09.041. download pdf file
  7. Zhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, and Xinming Wang, "Is non-parametric hypothesis testing model robust for statistical fault localization?", Journal of Information and Software Technology (IST) 51(11): 1573-1585 (2009). doi:10.1016/j.infsof.2009.06.013. download pdf file
  8. Zhenyu Zhang, W. K. Chan, T. H. Tse, Heng Lu, and Lijun Mei, "Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications", Journal of Systems and Software (JSS) 82(9): 1376-1387 (2009). doi:10.1016/j.jss.2009.05.018. download pdf file
  9. Zhenyu Zhang, W. K. Chan, T. H. Tse, and Peifeng Hu, "Experimental study to compare the use of metamorphic testing and assertion checking", Journal of Software (JoS) 20(10), 2009. download pdf file
Selected Conference papers
  1. Lei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin, "PAFL: Fault Localization via Noise Reduction on Coverage Vector", in Proceedings of the 23th International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), Miami, USA, Jul 7 - 9, 2011. download pdf file
  2. Zhenyu Zhang, Bo Jiang, W. K. Chan, and T. H. Tse, "Precise Propagation of Fault-Failure Correlations in Program Flow Graphs", in Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2011), Munich, Germany, Jul 18 - 22, 2011. download pdf file
  3. Jian Xu, W. K. Chan, Zhenyu Zhang, and T. H. Tse, "A Dynamic Fault Localization Technique with Noise Reduction for Java Programs", in Proceedings of the 11th International Conference on Quality Software (QSIC 2011), Madrid, Spain, Jul 13 - 14, 2011. download pdf file
  4. Zhenyu Zhang, Zhongxing Xu, Zhifang Liu, and Xiaopeng Gao, "Macro-like Instrumentation Grammar for Boolean Expressions", in Proceedings of 2010 International Conference on Computational Intelligence and Software Engineering (CiSE 2010), Wuhan, China, Dec 10 - 12, 2010. download pdf file
  5. Zhenyu Zhang, Zijian Tong, and Xiaopeng Gao, "Testing in parallel", in Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010). (poster session) download pdf file
  6. W. K. Chan, Lijun Mei, Zhenyu Zhang, and Xiaopeng Gao, "A community-centric model for service publication, discovery, selection, binding, and maintenance", in Proceedings of the 5th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2010). download pdf file
  7. Qiong Shi, Zhenyu Zhang, Zhifang Liu, and Xiaopeng Gao, "Enhance Fault Localization Using a 3D Surface Representation," in Proceedings of the 2nd International Conference on Computer Research and Development (ICCRD 2010), Kuala Lumpur, Malaysia, May 7 - 10, 2010, pages 720-724. download pdf file
  8. W. K. Chan, Lijun Mei, and Zhenyu Zhang, "Modeling and testing of cloud applications", in Proceedings of 2009 IEEE Asia-Pacific Services Computing Conference (APSCC 2009), Singapore, December 7-11, 2009, IEEE Computer Society Press, Los Alamitos, CA, USA, 2009. download pdf file
  9. Bo Jiang, Zhenyu Zhang, W. K. Chan, and T. H. Tse, "Adaptive random test case prioritization", in Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, New Zealand, November 2009. download pdf file
  10. Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang, and Xinming Wang, "Capturing propagation of infected program states", in Proceedigns of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009) Aug 24 - 28, 2009, Amsterdam, The Netherlands. download pdf file
  11. Bo Jiang, Zhenyu Zhang, T. H. Tse, and T. Y. Chen, "How well do test case prioritization techniques support statistical fault localization", in Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), vol. 1, IEEE Computer Society Press, Los Alamitos, CA, pp. 99-106 (2009). [Best Paper Award] download pdf file
  12. Lijun Mei, Zhenyu Zhang, and W. K. Chan, "More tales of clouds: software engineering research issues from the cloud application perspective", in Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), vol. 1, IEEE Computer Society Press, Los Alamitos, CA, pp. 525-530 (2009). (short paper) download pdf file
  13. Lijun Mei, Zhenyu Zhang, W. K. Chan, and T. H. Tse, "Test case prioritization for regression testing of service-oriented business applications", in Proceedings of the 18th International World Wide Web Conference (WWW 2009), Madrid, Spain, Apr 20 - 24, 2009. [Best Paper Nominee] download pdf file
  14. Bo Jiang, W. K. Chan, Zhenyu Zhang, and T. H. Tse, "Where to adapt dynamic service compositions", in Proceedings of the 18th International World Wide Web Conference (WWW 2009), Madrid, Spain, Apr 20 - 24, 2009. (poster track) download pdf file
  15. Xinming Wang, S.C. Cheung, W. K. Chan, and Zhenyu Zhang, "Taming coincidental correctness: coverage refinement with context patterns to improve fault localization", in Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009. download pdf file
  16. Zhenyu Zhang, Bo Jiang, W. K. Chan, and T. H. Tse, "Debugging through Evaluation sequences: A Controlled Experimental Study", in The 196th Tsinghua University PhD Candidates Academic Forum and the 1st First Nanshan Academic Forum for PhD Candidates, Shenzhen, China, Nov 28 - 29, 2008. Graduate School at Shenzhen, Tsinghua University. [Best Paper Award (first class)] download pdf file
  17. Peifeng Hu, Zhenyu Zhang, W. K. Chan, and T. H. Tse, "Fault localization with non-parametric program behavior model", in Proceedings of the 8th International Conference on Quality Software (QSIC 2008), Oxford, UK, Aug 12 - 13, 2008, IEEE Computer Society Press, Los Alamitos, California, 2008. download pdf file
  18. Zhenyu Zhang, Bo Jiang, W. K. Chan, and T. H. Tse, "Debugging through evaluation sequences: a controlled experimental study", in Proceedings of 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, Jul 28 - Aug 1, 2008, IEEE Computer Society Press, Los Alamitos, California, 2008. [Best Paper Award] download pdf file
  19. Zhenyu Zhang, W. K. Chan, and T. H. Tse, "Synthesizing component-based WSN applications via automatic combination of code optimization techniques", in Proceedings of the 7th International Conference on Quality Software (QSIC 2007), Portland, Oregon, USA, Oct 11 - 12, 2007, pages 181-190, IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. download pdf file
  20. W. K. Chan, T.Y. Chen, S.C. Cheung, T. H. Tse, and Zhenyu Zhang, "Towards the testing of power-aware software applications for wireless sensor networks", in Proceedings of the 12th International Conference on Reliable Software Technologies (Ada-Europe 2007), Jun 25 - 29, 2007, Geneva, Switzerland, pages 84-99, LNCS 4498, Springer-Verlag, Berlin, 2007. download pdf file
  21. Peifeng Hu, Zhenyu Zhang, W. K. Chan, and T. H. Tse, "An empirical comparison between direct and indirect test result checking approaches", in Proceedings of the 3rd International Workshop on Software Quality Assurance (SOQUA 2006), in conjunction with the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 6-13, ACM Press, New York, USA, 2006. download pdf file
Ph.D Thesis
  1. Zhenyu Zhang, "Software Debugging through Dynamic Analysis of Program Structures", The University of Hong Kong (2009). download pdf file
Translations
  1. Nicholas Wells, (Apr, 2004), "Guide to Linux Networking and Security", in chinese. (Zhenyu Zhang and Wei Liu, Trans.). Science Press, Beijing. [online resource]
  2. Blake Schwendiman, (Jan, 2002), "PHP 4 Developer's Guide", in chinese. (Hongtao Yang, Jing Huang, and Zhenyu Zhang, Trans.). Tsinghua University Press, Beijing. [online resource]
Professional activities
  1. PC Member of First International Workshop on Software Mining (SoftMine-2012)
  2. Guest Editor of Open Special Issue Testing and Debugging of Software Systems of Advances in Software Engineering
  3. PC Member of the 2nd International Workshop on Program Debugging (IWPD 2012)
  4. PC Member of the 12th International Conference On Quality Software (QSIC 2012)
  5. PC Member of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)
  6. PC Member of the 36th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2012)
  7. PC Member of The 18th Asia-Pacific Software Engineering Conference (APSEC 2011)
  8. PC Member of International Journal of Software Engineering and Knowledge Engineering (IJSEKE 2010)
  9. PC Member of the 35th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2011)
  10. PC Member of the Second IEEE International Worksho on Program Debugging (IWPD 2011)
  11. PC Member of Summer school on model checking (Oct 11-16, 2010, Institute of Software, Chinese Academy of Sciences)
  12. PC Member of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011)
  13. PC Member of the 1st International Workshop on Testing & Debugging (TeBug 2011)
  14. Publicity Chair of the 2011 International Conference on Advanced Software Engineering (ICASE-11)
  15. PC Member of the 2nd International Conference on Internet and the 5th Asia Pacific International Conference on Information Science and Technology (ICONI 2010 and APIC-IST 2010)
  16. Chair of the 1st International Workshop on Program Debugging in China (IWPDC 2010)
  17. PC Member of the 4th International Conference on Software and Data Technologies (ICSOFT 2009)
  18. PC Member of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010)
  19. PC Member of the 5th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2010)
  20. Referred/Co-/External Reviewer of TSE, ASE, AST, COMPSAC, ICEBE, ICSM, ICSOFT, ISSRE, JSS, QSIC, SEKE, SNPD, SOQUA
Awards and honors
  1. Best Paper Award. Jul, 2009. "How well do test case prioritization techniques support statistical fault localization". The 33nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), Seattle, WA.
  2. SIGSOFT-CAPS fund. Jul, 2009. "Capturing propagation of infectedprogram states". The ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2009). The ACM Special Interest Group on Software Engineering.
  3. Best Paper Award Nomination. Apr, 2009. "Test case prioritization for regression testing of service-oriented business applications". The 18th International World Wide Web Conference (WWW 2009), Madrid, Spain.
  4. Best Paper Award (First Class). Nov, 2008. "Debugging through Evaluation sequences: A Controlled Experimental Study". The 196th Tsinghua University PhD Candidates Academic Forum and the 3rd Tsinghua University Shenzhen Graduate School PhD Candidates Academic Forum, Shenzhen, China.
  5. Best Paper Award. Jul, 2008. "Debugging through evaluation sequences: a controlled experimental study". The 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland.
  6. Best Paper Award. Jul, 2008. "Debugging through evaluation sequences: a controlled experimental study". IEEE Computer Society, 2008.
  7. MSRA Fellowship 2006 Nomination. May, 2006.
  8. Contributor of Gnome Email tool - Evolution. Aug, 2003 - Feb, 2004.
Patent
  1. Zhenyu Zhang and Wenchao Gao, "Software fault localization by using evaluation sequence of Boolean expression", Chinese Patant, no. 201210002136.7.
Project
  1. BuildBlade (Oct, 2011 - Present)
    A regression testing tool built on Buildbot. It addresses multi-platform testing issues, especially for software like browsers, Web application, Instance Communication Tools, etc., that need to work in different platforms.
  2. BuildEase (Apr, 2011 - Setp, 2011)
    A regression testing tool built on CruiseControl. It has common CI functionalities and the ability of test case prioritization and fault localization. It aims at reducing testing human work, debugging efforts, and development risks.
Fundings
  1. Jan, 2011 - Dec 2013. Regression testing and fault localization in a continuous integration environment.
    National Natural Science Foundation of China (NSF China), Grant No. 61003027, RMB 200,000. (Principal Investigator)
  2. Jan, 2011 - Dec 2013. Software Defect Prediction: Models and Applications.
    National Natural Science Foundation of China (NSF China), Grant No. 61073006, RMB 300,000. (Co-Investigator)
  3. Jan, 2010 - Dec 2012. Research on the application of automatic software fault localization.
    Research grant, State Key Laboratory of Computer Science, RMB 300,000. (Principal Investigator)
  4. Jan, 2010 - Dec 2011. Regression testing service equipped with fault localization mechanism.
    Research grant, State Key Laboratory of Computer Science, RMB 100,000. (Principal Investigator)
Experiences
  1. Dec, 2011 - Now. Associate Research Professor.
    State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing.
  2. Feb, 2010 - Nov 2011. Assistant Research Professor.
    State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing.
  3. Oct, 2006 - Jan, 2010. Research Assistant. (Full time RA from Oct, 2009)
    Department of Comptuer Science, The University of Hong Kong, Hong Kong.
  4. Oct, 2005 - Sept, 2006. Teaching Assistant.
    Department of Comptuer Science, The University of Hong Kong, Hong Kong.
  5. Aug, 2003 - Feb, 2004. Software engineer.
    SUN China Engineering and Research Institute (SUN ERI), Beijing, China.
  6. Mar, 2003 - Jul, 2003. Visiting student.
    Visual Computing Group (VC), Microsoft Research Asia (MSRA), Beijing, China. Supervised by Dr. Harry Shum.
  7. Sept, 2002 - Jul, 2005. Intern.
    Computer and Information Management Center of Tsinghua University, Beijing, China.
Education
  1. Ph.D (Oct, 2005 - Oct, 2009)
    Department of Comptuer Science, The University of Hong Kong, Hong Kong.
    Supervisors: Prof. T. H. Tse and Dr. W. K. Chan.
  2. Msc (Sept, 2002 - Jul, 2005)
    Department of Comptuer Science and Technology, Tsinghua University, Beijing, China.
    Supervisor: Prof. Yingxue Wang.
  3. BEng (Sept, 1998 - Jul, 2002)
    Department of Comptuer Science and Technology, Tsinghua University, Beijing, China.
Correspondence address
    Room 335, Floor 3, Building 5,
    State Key Laboratory of Computer Science,
    Institute of Software, Chinese Academy of Sciences,
    4#, South Fourth Street of Zhongguancun,
    Beijing, 100190
    P.R. China

Position at Google Map
Position at Baidu Map