Zhenyu Zhang is a Ph.D candidate at Department of Computer Science of The University of Hong Kong, Pokfulam, Hong Kong. He received his BEng and MSc degrees at Department of Computer Science and Technology of Tsinghua University, Beijing, China. After a short period of industry working, he came to Hong Kong to start research work. His research interests include debugging and testing of software engineering activities, and software engineering problems in wireless sensor network field and service computing. He has published various journal and conference papers, including two article that were selected for best paper awards by COMPSAC 2008, 2009, and IEEE Computer Society, and an article that was nominated for best paper award by WWW 2009. He is PC Member of ICSOFT 2009 and SEKE 2010, and reviewer of many various journals and conferences.

1. Oct, 2005 - Present. Ph.D at Department of Comptuer Science, The University of Hong Kong, Hong Kong.
   Supervisors: Prof. T. H. Tse, Dr. W. K. Chan.
2. Sept, 2002 - Jul, 2005. MSc at Department of Comptuer Science and Technology, Tsinghua University, Beijing, China.
   Supervisor: Prof. Yingxue Wang.
3. Sept, 1998 - Jul, 2002. BEng at Department of Comptuer Science and Technology, Tsinghua University, Beijing, China.

1. Oct, 2006 - Present. Research Assistant. (Projects taken part in)
   Department of Comptuer Science, The University of Hong Kong, Hong Kong.
2. Oct, 2005 - Oct, 2006. Teaching Assistant. (Courses I was in charge of)
   Department of Comptuer Science, The University of Hong Kong, Hong Kong.
3. Aug, 2003 - Feb, 2004. Software engineer. Contributor of Gnome Email tool - Evolution.
   SUN China Engineering and Research Institute (SUN ERI), Beijing, China.
   
4. Mar, 2003 - Jul, 2003. Visiting student.
   Working on facial sketch generation, automatic portraiture, supervised by Dr. Harry Shum.
   Visual Computing Group (VC), Microsoft Research Asia (MSRA), Beijing, China.
   
5. Sept, 2002 - Jul, 2005. Intern. Software development and maintainance. (Projects taken part in)
   Computer and Information Management Center of Tsinghua University, Beijing, China.

1. Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, and Xinming Wang, "Fault Localization through Evaluation Sequences", to appear in Journal of Systems and Software (JSS). [Accepted on Sep 22, 2009]
2. W. K. Chan, Lijun Mei, and Zhenyu Zhang, "Modeling and testing of cloud applications", to appear 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. [abstract]
3. Bo Jiang, Zhenyu Zhang, W. K. Chan and T. H. Tse, "Adaptive random test case prioritization", to appear in proceedings of the 24rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, New Zealand, November 2009. [Acceptance rate: 17%] [abstract | also technical report]
4. 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 (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2009) Aug 24 - 28 2009, Amsterdam, The Netherlands. [Acceptance rate: 14.7%, 32 out of 217] [abstract | paper from ACM digital library | also technical report]
5. 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. [abstract | paper from ScienceDirect | also technical report]
6. 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][Acceptance rate: 20%][abstract | local copy | also technical report]
7. 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) [abstract | also technical report]
8. 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][Acceptance rate: 11.7%, 104 out of 888][abstract | paper from ePrint | also technical report]
9. 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) [abstract | paper from ePrint | also technical report]
10. 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. [abstract | paper from ScienceDirect | also technical report]
11. 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. [abstract | local copy | also technical report]
12. 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. [Acceptance rate: 12.3%, 50 out of 405][abstract | paper from ACM digital library | also technical report]
    2008
13. 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)]
14. 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. [Acceptance rate: 30%][abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report]
15. 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][Acceptance rate: 19.5%, 46 out of 236][abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report]
    2007
16. 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. [Acceptance rate: 26.1%, 24 out of 92][abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report]
17. 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.[abstract | paper from Springer | also technical report]
    2006
18. 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 Third 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. [Acceptance Rate: 41.6%, 10 out of 24][abstract | paper from ACM digital library | also technical report]

1. Nicholas Wells, (Apr, 2004), "Guide to Linux Networking and Security", in chinese. (Zhenyu Zhang and Wei Liu, Trans.). Science Press, Beijing. [purchase ]
2. Blake Schwendiman, (Jan, 2002), "PHP 4 Developer's Guide", in chinese. (Hongtao Yang, Jing Huang, and Zhenyu Zhang, Trans.). Tsinghua University Press, Beijing. [purchase ]

1. PC Member of: The 4th International Conference on Software and Data Technologies (ICSOFT 2009)
2. External Reviewer of: ASE, AST, COMPSAC, ICEBE, ICSM, ICSOFT, ISSRE, JSS, QSIC, SEKE, SNPD, SOQUA

1. Apr, 2008 - Mar, 2010. Espresso: tEsting Synthesized PRograms of wirElesS Sensor netwOrk. (Project No. CityU 7002324, $180,000)
2. Jan, 2008 - Sept, 2008. Automatic Fault Localization for Wireless Sensor Network Software Applications: a Statistical Fault Divergence Approach. (Project No. 716507, RGC GRF $648,000)
3. May, 2007 - Jan, 2008. An Extensible Fault-Based Predicate Testing Toolset for Wireless Sensor Network Software Applications. (Project No. ITS/076/06, ITF $976,350)
4. Nov, 2006 - Jan, 2008. An Exploratory Study of the Test Oracle Problem. (Project No. CityU 7200079, $99,963)
5. Aug, 2003 - Jul, 2005. The Evaluating and Auditing System for Academic Degree and Post-Graduate Education. The Academic Degrees Committee of the State Council. (References: Available upon request)
6. Apr, 2001 - Nov, 2001. Linux Kernel Investigation - Student Research Training (SRT). Institute of Computer Network Technology, Department of Comptuer Science and Technology, Tsinghua University, Beijing, China.

1. Best Paper Award. Jul, 2009. The 33nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), Seattle, WA. [snapshot ]
2. SIGSOFT-CAPS fund. Jul, 2009. The ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2009). The ACM Special Interest Group on Software Engineering.
3. Best Paper Nominations. Apr, 2009. The 18th International World Wide Web Conference (WWW 2009), Madrid, Spain.
4. Best Paper Award (First Class). Nov, 2008. The 196th Tsinghua University PhD Candidates Academic Forum and the 3rd Tsinghua University Shenzhen Graduate School PhD Candidates Academic Forum, Shenzhen, China. [6 out of 66] [snapshot ]
5. Best Paper Award. Jul, 2008. The 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland. [snapshot ] IEEE Computer Society, 2008. [snapshot ]
6. Postgraduate Studentship. 2005 - 2008. The University of Hong Kong.
7. Scholarship. Oct, 2000. Department of Computer Science and Technology, Tsinghua University, Beijing, China.

Mailbox 135#,
Department of Computer Science,
The University of Hong Kong,
Pokfulam, Hong Kong

E-mail: zyzhang [at] cs.hku.hk

Live Messenger: charles_zhang_cn@hotmail.com
LinkedIn online Card: Zhenyu Zhang

Primary Supervisor: Prof. T. H. Tse, Co-supervisor: Dr. W. K. Chan,
Prof. T. Y. Chen, Dr. S. C. Cheung, Dr. Y. T. Yu,
Mr. Bo Jiang, Dr. Heng Lu, Mr. Lijun Mei, Mr. Xinming Wang

Mr. Jian Gong, Mr. Ruotian Ling, Ms. Lin Lu, Mr. Lifeng Shang, Miss Si Si, Mr. Dongming Yan, Mr. Huai Wang

Prof. Jianxun Chen