Prof. T.H. Tse Past  Postgraduate  Students

PRIMARY SUPERVISION

1. Mr Cliff Chow | The University of Hong Kong | from Hong Kong Baptist University and The University of Hong Kong | thesis: Enhancing the efficiency of adaptive random testing through partitioning and collaboration (2018)

2. Dr Edward Y.Y. Kan | Head of Data Engineering, Manulife | from University of Toronto, Canada and The University of Hong Kong | thesis: A sound and efficient program testing and execution framework in green computing (2015)

3. Dr Huai Wang | Melco Resorts & Entertainment | from Peking University, China | thesis: Effective test case selection for context-aware applications based on mutation testing and adequacy testing from a context diversityperspective (2013)

4. Dr Ke Zhai | Executive Director, Goldman Sachs | from Northeastern University, China | thesis: Budget-sensitive testing and analysis strategies and their applications to concurrent and service-based systems (2013)

5. Dr Bo Jiang | Associate Professor, Beihang University, China | from Beihang University, China | thesis: Effective and efficient regression testing and fault localization through diversification, prioritization, and randomization (2011)

6. Dr Lijun Mei | IBM Research — China | from Tsinghua University, China | thesis: XML-manipulating techniques for the testing and analysis of XML-manipulating services (2010)

7. Dr Zhenyu Zhang | Associate Professor, Institute of Software, Chinese Academy of Sciences | from Tsinghua University, China | thesis: Software debugging through dynamic analysis of program structures (2010)

8. Dr Heng Lu | University of California, Berkeley | from Nanjing University, China | thesis: A software testing framework for context-aware applications in pervasive computing (2008)

9. Dr Peifeng Hu | Deputy CEO, China Minsheng Banking Corp. Ltd. Hong Kong Branch | from Tsinghua University, China | thesis: Automated fault localization: A statistical predicate analysis approach (2006)

10. Mr Yongjian Wu | Solutions Architect, Amazon Web Services | from University of Science and Technology of China | thesis: An empirical study of the use of conceptual models for mutation testing of database application programs (2006)

11. Dr Jeffrey C.F. Ho | The Hong Kong Polytechnic University | from The University of Hong Kong | thesis: Towards automatic oracles for the testing of mesh simplification software (2005)

12. Dr Charles Y.Y. Cheng | CEO and Founder, BroadLearning Education (Asia) | thesis: The design of an integrated internet-based learning environment and its effects on students' learning approaches (2004)

13. Dr W.K. Chan | Associate Professor, City University of Hong Kong | from The University of Hong Kong | thesis: Towards a new extension relation for compositional test case generation for CSP concurrent processes (2003)

14. Mr Jianqiang Feng | China HP Co. Ltd., Shanghai | from Huazhong University of Science and Technology, China | thesis: On the effectiveness of metamorphic testing for numerical programs (2003)

15. Dr Z.Q. Zhou | Senior Staff Engineer in Test Development, Alibaba and Ant Group; and Associate Professor, University of Wollongong, Australia | from Peking University, China | thesis: Verification of program properties: From testing to semi-proving (2003)

16. Dr Xin Feng | United International College, China | from Nankai University, China | thesis: MIST: Towards a minimum set of test cases (2002)

17. Mr Paul Y.S. Hsi | CEO, Testnologies Ltd. | from Cornell University, USA | thesis: On proportional sampling strategies in software testing (2001)

18. Mr W.H. Kwok | Liricco Technologies Limited | from University of Nottingham, UK | thesis: Streamlined and prioritized hierarchical relations: A technique for improving the effectiveness of theclassification-tree methodology (2001)

19. Mr Steven W. Yip | Hong Kong Examinations and Assessment Authority | from The Chinese University of Hong Kong | thesis: Towards a proportional sampling strategy according to path complexity: A simulation study (2000)

20. Dr F.T. Chan | Vice-Principal, HKU SPACE Community College | from The University of Hong Kong | thesis: The effectiveness of partition testing (1998)

21. Dr Karl R.P.H. Leung | Head of ICT, Hong Kong Institute of Vocational Education (Tuen Mun) | distinguished alumnus, The Hong Kong Polytechnic University | thesis: Domain modelling: With a case study in air traffic (1997)

22. Dr Zhinong Xu | Boston College, USA | from Tsinghua University, China | thesis: A formal specification-based approach to object-oriented software testing at the class level (1997)

23. Mr Pin Ng | The Hong Kong Polytechnic University | from City University of Hong Kong and University of Warwick, UK | thesis: A tabular approach for constructing class hierarchies (1996)

24. Mr C.P. Cheng | Alcatel-Lucent, Canada | from the University of Manchester, UK | thesis: NOODLE: A three-dimensional net-based object-oriented development environment (1994)

25. Mr L. Pong | IBM Canada | from The University of Hong Kong | thesis: Formal data flow diagrams (FDFD): A Petri-net-based requirements specification language (1985)