Efficient Loop-Extended Model Checking of Data Structure Methods. - Qiuping Yi; Jian Liu 008; Wuwei Shen (FGIT-ASEA/DRBC/EL, 2011)

A Synergistic Analysis Method for Explaining Failed Regression Tests. - Qiuping Yi; Zijiang Yang 006; Jian Liu 008; Chen Zhao; Chao Wang 001 (ICSE (1), 2015)

Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (ICST, 2015)

Explaining Software Failures by Cascade Fault Localization. - Qiuping Yi; Zijiang Yang 006; Jian Liu 008; Chen Zhao; Chao Wang 001 (ACM Trans. Design Autom. Electr. Syst., 2015)

Concurrency verification with maximal path causality. - Qiuping Yi; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2018)

Eliminating Path Redundancy via Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (IEEE Trans. Software Eng., 2018)

Summary-guided incremental symbolic execution. - Qiuping Yi; Junye Wen; Guowei Yang 001 (ICSE (Companion Volume), 2020)

Feedback-Driven Incremental Symbolic Execution. - Qiuping Yi; Guowei Yang 001 (ISSRE, 2022)

LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. - Jian Liu 008; Lin Yi; Weiteng Chen; Chengyu Song; Zhiyun Qian; Qiuping Yi (USENIX Security Symposium, 2022)

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding. - Qiuping Yi; Yifan Yu; Guowei Yang 001 (Proc. ACM Program. Lang., 2024)

VeriFix: Verifying your fix towards an atomicity violation. - Zhuang Li; Qiuping Yi; Jeff Huang 001 (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)

VeriFix: Verifying Your Fix Towards An Atomicity Violation. - Zhuang Li; Qiuping Yi; Jeff Huang (CoRR, 2025)