Biography

I am a PhD student at the Hong Kong University of Science and Technology under the supervision of Prof. Shing-Chi Cheung. I was an M.Phil. student at the University of Hong Kong under the supervision of Dr. Heming Cui and Prof. Cho-Li Wang. My research lies at the intersection of Software Engineering and Artificial Intelligence, currently focusing on exposing software faults or vulnerabilities using Large Language Model.

Interests
  • Artificial Intelligence
  • Software Testing
Education

  • Doctor of Philosophy, 2022-Present

    The Department of Computer Science and Engineering, the Hong Kong University of Science and Technology

  • Master of Philosophy, 2019-2021

    The Department of Computer Science, the University of Hong Kong

  • Bachelor of Science, 2014-2019

    Department of Statistics and Actuarial Science, the University of Hong Kong

Publication

2026
Less Is More: Failing Test Generation with Large Language Models

Tsz-On Li, Xiaochuan Yan, Wenxi Zong, Yibo Wang, Haoye Tian, Congying Xu, Ying Wang, Shing-Chi Cheung, and Jeff Kramer . Less Is More: Failing Test Generation with Large Language Models. To appear in ACM Transactions on Software Engineering and Methodology.
2025
CROSS2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony

Qian Zhang, Tsz-On Li, Ying Wang, Li Li, Shing-Chi Cheung. CROSS2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony, ASE 2025, 1-13, December 2025, Seoul.
2025
Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS

Bo Zhou, Jiaqi Shi, Ying Wang*, Li Li, Tsz-On Li, Hai Yu, Zhiliang Zhu. Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS, ISSTA 2025, 1445 - 1466, June 2025, Norway.
2024
Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability

Dong Huang, Tsz-On Li, Xiaofei Xie, Heming Cui. Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability//2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2024: 451-462.
2024
Application processing method and apparatus, cloud environment, medium, and program product

Jianyu Jiang, Xusheng Chen, Tsz-On Li, Cheng Wang, Heming Cui, Sen Wang, Peng Wang, Gong Zhang. Application processing method and apparatus, cloud environment, medium, and program product: U.S. Patent 12,153,716. 2024-11-26.
2023
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting

Tsz-On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang*, Shing-Chi Cheung*, Jeff Kramer. Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting, ASE 2023, ASE 2023, 14-26.
2023
Comet: Coverage-guided model generation for deep learning library testing

Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz-On Li, Ming Wen, Shing-Chi Cheung. Comet: Coverage-guided model generation for deep learning library testing. ACM Transactions on Software Engineering and Methodology, 2023, 32(5): 1-34.
2023
Comet: Coverage-guided model generation for deep learning library testing

Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz-On Li, Ming Wen, Shing-Chi Cheung. Comet: Coverage-guided model generation for deep learning library testing. ACM Transactions on Software Engineering and Methodology, 2023, 32(5): 1-34.
2023
Data Processing Method and Apparatus, Computing Device for Data Processing, and Storage Medium

Tsz-On Li, Jianyu Jiang, Ji Qi, Chi Chiu So, Heming Cui, Sen Wang, Peng Wang, Gong Zhang. Data Processing Method and Apparatus, Computing Device for Data Processing, and Storage Medium: U.S. Patent 18,074,972. 2023-3-30.
2022
Efficient and DoS-resistant consensus for permissioned blockchains

Tsz-On Li, Jianyu Jiang, Ji Qi, Chi Chiu So, Heming Cui, Sen Wang, Peng Wang, Gong Zhang. Data Processing Method and Apparatus, Computing Device for Data Processing, and Storage Medium: U.S. Patent 18,074,972[P]. 2023-3-30.
2021
MVSAS: Semantic-Aware Scheduling for Low Latency and High Precision in Wireless Multi-View Application

Xiuxian Guan, Zekai Sun, Shengliang Deng, Shixiong Zhao, Tianxiang Shen, Tsz-On Li, Yuexuan Wang, Rui Wang, Heming Cui. MVSAS: Semantic-Aware Scheduling for Low Latency and High Precision in Wireless Multi-View Application//2021 IEEE 27th International Conference on Parallel and Distributed Systems (ICPADS). IEEE, 2021: 266-273.
2021
Differential spectral normalization (dsn) for pde discovery

Chi Chiu So, Tsz-On Li, Chufang Wu, Siu Pang Yung. Differential spectral normalization (dsn) for pde discovery//Proceedings of the AAAI Conference on Artificial Intelligence. 2021, 35(11): 9675-9684.
2020
Uranus: Simple, efficient sgx programming and its applications

Jianyu Jiang, Xusheng Chen, Tsz-On Li, Cheng Wang, Tianxiang Shen, Shixiong Zhao, Heming Cui, Cho-Li Wang, Fengwei Zhang. Uranus: Simple, efficient sgx programming and its applications//Proceedings of the 15th ACM Asia Conference on Computer and Communications Security. 2020: 826-840.
2020
Upa: An automated, accurate and efficient differentially private big-data mining system

Tsz-On Li, Jianyu Jiang, Ji Qi, Chi Chiu So, Jiacheng Ma, Xusheng Chen, Tianxiang Shen, Heming Cui, Yuexuan Wang, Peng Wang. Upa: An automated, accurate and efficient differentially private big-data mining system//2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2020: 515-527.
2020
{vSMT-IO}: Improving {I/O} Performance and Efficiency on {SMT} Processors in Virtualized Clouds

Weiwei Jia, Jianchen Shan, Tsz-On Li, Xiaowei Shang, Heming Cui, Xiaoning Ding. {vSMT-IO}: Improving {I/O} Performance and Efficiency on {SMT} Processors in Virtualized Clouds//2020 USENIX Annual Technical Conference (USENIX ATC 20). 2020: 449-463.
2019
Fulva: Efficient live migration for in-memory key-value stores with zero downtime

Jiewen Hai, Cheng Wang, Xusheng Chen, Tsz-On Li, Heming Cui, Sen Wang. Fulva: Efficient live migration for in-memory key-value stores with zero downtime//2019 38th Symposium on Reliable Distributed Systems (SRDS). IEEE, 2019: 83-8309.
2018
Owl: Understanding and detecting concurrency attacks

Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz-On Li, Yuexuan Wang, Heming Cui, Junfeng Yang. Owl: Understanding and detecting concurrency attacks//2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2018: 219-230.