Qiu-Ping Yi

Most-cited papers

Eliminating Path Redundancy via Postconditioned Symbolic Execution
Qiu-Ping Yi, Z. Yang, Shengjian Guo, Chao Wang +2 more
2018IEEE Transactions on Software Engineering39 citations Open access
Semantic Scholar
Postconditioned Symbolic Execution
Qiu-Ping Yi, Z. Yang, Shengjian Guo, Chao Wang +2 more
2015International Conference on Information Control Systems & Technologies32 citations
Semantic Scholar
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution
Jian Liu, Li Yi, Weiteng Chen, Chengyu Song +2 more
2022USENIX Security Symposium26 citations
Semantic Scholar
A Synergistic Analysis Method for Explaining Failed Regression Tests
Qiu-Ping Yi, Z. Yang, Jian Liu, Chen Zhao +1 more
20152015 IEEE/ACM 37th IEEE International Conference on Software Engineering26 citations
Semantic Scholar
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
Qiu-Ping Yi, Yi-Fan Yu, Guo-Wei Yang
2024Proc. ACM Program. Lang.16 citations Open access
Semantic Scholar
Explaining Software Failures by Cascade Fault Localization
Qiu-Ping Yi, Z. Yang, Jian Liu, Chen Zhao +1 more
2015TODE10 citations
Semantic Scholar
Feedback-Driven Incremental Symbolic Execution
Qiu-Ping Yi, Guo-Wei Yang
2022IEEE International Symposium on Software Reliability Engineering8 citations
Semantic Scholar
Concurrency verification with maximal path causality
Qiu-Ping Yi, Jeff Huang
2018ESEC/SIGSOFT FSE7 citations
Semantic Scholar
Summary-Guided Incremental Symbolic Execution
Qiu-Ping Yi, Junye Wen, Guo-Wei Yang
20202020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)3 citations
Semantic Scholar
CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler
Shang-Tong Cao, Tian-Le Song, Qiu-Ping Yi, Tian-Yu Chen +3 more
2026Proceedings of the ACM on Software Engineering0 citations Open access
Semantic Scholar
VeriFix: Verifying Your Fix Towards An Atomicity Violation
Zhuang Li, Qiu-Ping Yi, Jeff Huang
2025Journal of Systems and Software0 citations
Semantic Scholar
Efficient Loop-Extended Model Checking of Data Structure Methods
Qiu-Ping Yi, Jian Liu, Wu-Wei Shen
2011FGIT-ASEA/DRBC/EL0 citations
Semantic Scholar
Model Checking a Secure Hypervisor
Sun-Jeong Wang, Jian Liu, Qiu-Ping Yi, Xian Zhang
20102010 Second World Congress on Software Engineering0 citations
Semantic Scholar
Specifying and building a formal secure Virtual Monitor Machine prototype
Hongliang Liang, Qiu-Ping Yi, Shuo Tian
20102010 3rd IEEE International Conference on Broadband Network and Multimedia Technology (IC-BNMT)0 citations
Semantic Scholar
Disposing pictures and drawing graphics based on Visual C
Qiu-Ping Yi
20040 citations
Semantic Scholar