Symbolic testing of floating-point bugs and exceptions. - Dongyu Ma; Zeyu Liang; Luming Yin; Hongliang Liang (J. Syst. Softw., 2025)

LeakGuard: Detecting Memory Leaks Accurately and Scalably. - Hongliang Liang; Luming Yin; Guohao Wu; Yuxiang Li; Qiuping Yi; Lei Wang (CoRR, 2025)

Unified and Split Symbolic Execution for Exposing Semantic Differences. - Hongliang Liang; Luming Yin; Wenying Hu; Yuxiang Li; Wuwei Shen (ACM Trans. Softw. Eng. Methodol., 2025)