Qiuping Yi

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 6

Top Topics

Test Generation

Static Analysis

Fault Localization

Symbolic Execution

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

Publications

Qiuping Yi, Yifan Yu, Guowei Yang
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Qiuping Yi, Guowei Yang
Feedback-Driven Incremental Symbolic Execution. ISSRE (2022)
Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. USENIX Security Symposium (2022)
Qiuping Yi, Junye Wen, Guowei Yang
Summary-guided incremental symbolic execution. ICSE (Companion Volume) (2020)
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Trans. Software Eng. 44 (1) (2018)
Qiuping Yi, Jeff Huang
Concurrency verification with maximal path causality. ESEC/SIGSOFT FSE (2018)
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) (2015)
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
Explaining Software Failures by Cascade Fault Localization. ACM Trans. Design Autom. Electr. Syst. 20 (3) (2015)
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
Postconditioned Symbolic Execution. ICST (2015)
Qiuping Yi, Jian Liu, Wuwei Shen
Efficient Loop-Extended Model Checking of Data Structure Methods. FGIT-ASEA/DRBC/EL (2011)