
Email:hzhuaq@connect.ust.hk
Emails from me will be signed by an S/MIME certificate.
The Hong Kong University of Science and Technology,
Clear Water Bay, Kowloon, Hong Kong
I am a PhD candidate at the CSE department of HKUST. I work with Prof. Shing-Chi Cheung in the CASTLE research group. I obtained my Bachelor's degree in engineering at SUSTech in 2020. My research focuses on software testing and program analysis. Currently, I am working on research projects in fuzzy testing, mocking, IoT testing, and metamorphic testing. During my spare time, I visit various hiking trails in Hong Kong and take nice photos there. I am also a tech enthusiast and I contribute to open-source projects such as Homebrew and Zed.
Education
- The Hong Kong University of Science and Technology: Ph.D. in Computer Science and Engineering, Since Sep. 2020
- In CASTLE research group, advised by Prof. Shing-Chi Cheung
- Southern University of Science and Technology: B.Eng. in Computer Science and Technology, Sep. 2016 - Jun. 2020
- In Software Quality Lab, advised by Prof. Yepang Liu
- With outstanding graduate honor & distinguished Bachelor's thesis honor
Publications
* denotes corresponding author, # denotes equal contribution- FSE 2025 Understanding and Characterizing Mock Assertions in Unit Tests.In Proceedings of The ACM on Software Engineering (PACMSE), Issue FSE 2025. Trondheim, Norway. June 2025.
- FSE 2025 SemBIC: Semantic-aware Identification of Bug-inducing Commits.In Proceedings of The ACM on Software Engineering (PACMSE), Issue FSE 2025. Trondheim, Norway. June 2025.
- ASE 2024 MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.In The 39th IEEE/ACM International Conference on Automated Software Engineering. California, United States. November 2024.
- TOSEM 2024 MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases.In ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 6, June 2024.
- TOSEM 2023 StubCoder: Automated Generation and Repair of Stub Code for Mock Objects.In ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 1, January 2024.
- ASE 2021 Why Do Developers Remove Lambda Expressions in Java.In The 36th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, November 2021.
- ASE 2020 MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests.In The 35th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, September 2020.
- SANER 2020 How Do Python Framework APIs Evolve? An Exploratory Study.In The 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering, London, Ontario, Canada, February 2020.
Honors and Awards
- HKUST RedBird Academic Excellence Award, 2024
- HKUST Postgraduate studentship, 2020 - 2024
- SUSTech Distinguished Bachelor's Thesis, 2020
- SUSTech Outstanding Graduate, 2020
- SUSTech Annual Outstanding Students Scholarship (Third Class), 2017, 2018, and 2019
- SUSTech CSE Outstanding Teaching Assistant, Fall 2018 & Spring 2019
- SUSTech Outstanding Freshmen Scholarship (Third Class), 2016
Academic Services
- PC member, ICSE 2025 Artifact Evaluation Track
- Shadow PC member, ICSE 2025 Research Track
- Reviewer, IEEE Transactions on Software Engineering (TSE) in 2024
- PC member, ICSE 2024 Artifact Evaluation Track
- PC member, ISSRE 2023 Artifact Evaluation Track
- PC member, ESEC/FSE 2023 Artifact Evaluation Track
- PC member, ISSTA 2023 Artifact Evaluation Track
- Student volunteer, ISSTA 2019
Teaching
I worked as a teaching assistant in the following courses at HKUST.
- COMP 1021 Introduction to Computer Science (Python Programming) (Fall 2023-24)
- COMP 3021 Java Programming (Fall 2022-23)
- COMP 3021 Java Programming (Fall 2021-22)
- COMP 2012 Object-Oriented Programming and Data Structures (C/C++ Programming) (Spring 2020-21)
I also worked as a teaching assistant in the following courses at SUSTech during my undergraduate study.
- CS102A Introduction to Computer Programming (A) (Java, Spring 2018, 2019, and 2020)
- CS309 Object Oriented Analysis and Design (Fall 2019)
- CS307 Database Principal (Spring 2019)
- CS205 C/C++ Programming Language (Fall 2018)
- CS102B Introduction to Computer Programming (B) (Java, Fall 2018)
- CS101B Introduction to Computer Science (B) (Fall 2017)