Postdoc (2005-6)

Wing-Kwong Chan, Ricky (PhD 2004, HKU)
Associate Professor, City University of Hong Kong

Current Students

Jiarong Wu (PhD student working on automated program synthesis)

Lu Liu (PhD student working on fault detection for blockchain applications)

Hengcheng Zhu (PhD student working on mock automation for regression testing)

Meiziniu Li (PhD student working on deep learning library testing)

Haoyang Ma (PhD student working on automated compiler testing)

Tsz-On Li (PhD student working on LLM for software fault detection)

Congying Xu (PhD student working on automated metamorphic testing)

Xiao Chen (PhD student working on intelligent code analysis)

Xiaolei Li (PhD student working on LLM for mobile software fault detection)

Songqiang Chen (PhD student working on LLM for software engineering)

Weiqi Lu (PhD student working on intelligent software engineering)

Xiaohan Zhong, Elaine (PhD student working on software engineering and Fintech)

Graduated Students

Wuqi Zhang (PhD 2024) Thesis: Defect Detection for Smart Contracts and Blockchain Applications

Ka Wing Yoyo Yeung (MPhil 2024) Thesis: Incorporating Domain-Specific Insights for Automated Test Generation

Jialun Cao (PhD 2024) Thesis: Towards Automatic Testing and Fault Localization in Natural Language Processing Systems
Postdoc, HKUST

Jiajun Hu (PhD 2024) Thesis: Towards Automated Testing of WebViews in Android Applications
Huawei (Hong Kong)

Huaxun Huang (PhD 2023) Thesis: Towards Automatic Detection and Repair of Compatibility Issues in Android Apps
Xiamen University

Yongqiang Tian (Dual-PhD 2023) Thesis: Assessing the Reliability of Deep Learning Applications
Research Assistant Professor, HKUST

Ching Hang Mak, David (MPhil 2023) Thesis: Test Dependency Minimization for Java Programs
PhD student, HKUST

Yuqing Quan (MPhil 2023) Thesis: Restation: Effective Identifying Dependencies between Restful APIs via Dynamic Analysis

Hang Xu (MPhil 2020) Thesis: Coverage-Directed Differential Testing of EVM Implementations
Tencent

Lili Wei (PhD 2020) Thesis: Taming Fragmentation-Induced Compatibility Issues in Android Applications

Mijung Kim (PhD 2019) Thesis: Towards Practical Automated Software Testing
Assistant Professor (UNIST)

Ming Wen (PhD 2019) Thesis: Utilizing Code Change Information for Better Automated Debugging
Associate Professor (Huazhong University of Science and Technology)

King Sun Chan (MPhil 2018) Thesis: Assessing Relative Code Complexity Introduced by Optional Features to a Software Product Line

Rongxin Wu (PhD 2017) Thesis: Automated Techniques for Diagnosing Crashing Bugs
Associate Professor (Xiamen University)

Valerio Terragni (PhD 2017) Thesis: Towards Effective Regression Testing of Concurrent Programs
Lecturer (University of Auckland)

Yepang Liu (PhD 2015). Thesis: Automated Analysis of Energy Efficiency and Execution Performance for Mobile Applications
Tenure-track faculty members (Southern University of Science and Technology SUST)

Wanjun Chen, Melody (MPhil 2015) Thesis: Automatic Spreadsheet Cell Clustering and Smell Detection using Strong and Weak Features
Goldman Sachs

Yueqi Li (PhD 2015). Thesis: Scalable Symbolic Analysis of Large Real World Programs Using API Abstraction and Execution Histories
Google-X (Mountain View, US)

Qiaona Hong (MPhil 2013). Thesis: The Anatomy of Developer Social Networks
Bank of America

Tate Poon (MPhil 2012). Thesis: A Study of Eliminating Irrelevant Access Patterns for Fault Localization in Concurrent Programs
OGCIO

Liping Gao (MPhil 2011) Thesis: Failure Proximity for Context-Aware Applications
Sogou Tech

Cham-ho Ting, Ivan (MPhil 2010). Thesis: Testing Strategy in Discovering Faults in Workflow

Xinming Wang, Rubin (PhD 2010). Thesis: Automatic Localization of Code Omission Faults
Lakala Finance

Zhifeng Lai (PhD 2010). Thesis: Effective Detection of Atomic-Set Serializability Violation in Multithreaded Programs
AIA

Yueqi Li (MPhil 2010). Thesis: Searching Configurations to Reproduce Software Failures
Google-X (Mountain View, US)

Dongming Xu (MPhil Computer Science and Technology 2009). Thesis: On the testing of the RFID security

Chunlin Zhu (MPhil 2009). Thesis: Classify and Rank Daikon Invariants on Embedded Systems
CMB Capital International (招银国际)

Chunyang YE, Jerry (PhD 2008). Thesis: Atomicity Analysis for Service Composition
Professor, Hainan University

Chang XU (PhD 2008). Thesis: Inconsistency Detection and Resolution for Context-Aware Pervasive Computing
Professor, Department of Computer Science, Nanjing University

Tsz Hin NG, Sam (PhD 2008). Thesis: The Effects of Pre-deploying Design Patterns on Software Changes
PCCW

Mian Qin (MPhil 2008). Thesis: Wireless Sensor Network Fault Localization
Microsoft, Redmond, USA

Yuet-Mei LO, Cindy (MPhil 2005). Thesis: Business Process Atomicity Analysis Supporting Late Task Property Bindings

Yu-Ho YIU, Matt (MSc 2005) Project: A Financial Case Study of B2B System Integration
HSBC

Wing-Leung CHAN, Christina (MSc 2004)

Sze-Chit HO, Cedric (MPhil 2004). Thesis: A Framework for the Verification of Watermarking Protocols.
Google, Mountain View, USA

Chin-Ching TSOI, Lancelot (MSc 2004). Project: A Survey on Java Web Services Toolkits.
Pacific Supernet

Sze-Wan LEE, Yoki (MSc 2003). Project: A Case Study on Semantic Web Services
Project Manager, PeopleSoft

Kelvin LEUNG (MSc 2002)

Hanif CURREEM (MPhil 2002). Thesis: Digital Copyright Management.
ABN AMRO

Zhengdong Xu (MPhil 2001). Thesis: Testing of Distributed Multimedia Systems.

Ting-Pong IP, Vincent (MSc 2000)
Cathay Pacific

Ka-Cheong WONG (MPhil 2000). Thesis: Digital Rights Protection Against Watermark Attacks.
AsiaPacific.net

Man-Yee CHAN (MPhil 1999). Thesis: Extending White Box Testing to Database Applications.

Chi-Yung LAM (MPhil 1999). Thesis: Modeling and Analyzing Web-Based Information Systems.

Kam-Fai LEUNG (MPhil 1998). Thesis: A Framework for the Flexible Coupling of Groupware Widgets.
Standard Chartered Bank

Kwok-Hung CHEUNG, Herman (MPhil 1998). Thesis: Compositional Analysis of Distributed Software Systems.
Enterpreneur

Kam-Keung WONG (MPhil 1997). Thesis: Distributed Multimedia Authoring using Software Structures.

Chun-Man LO (MPhil 1996) Thesis: Verification of Dense Real-Time Distributed Systems by Using Discrete-Time Methods.