Qiuping Yi
Cited by
Cited by
Eliminating path redundancy via postconditioned symbolic execution
Q Yi, Z Yang, S Guo, C Wang, J Liu, C Zhao
IEEE Transactions on Software Engineering 44 (1), 25-43, 2017
Postconditioned symbolic execution
Q Yi, Z Yang, S Guo, C Wang, J Liu, C Zhao
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
A synergistic analysis method for explaining failed regression tests
Q Yi, Z Yang, J Liu, C Zhao, C Wang
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
Explaining software failures by cascade fault localization
Q Yi, Z Yang, J Liu, C Zhao, C Wang
ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (3 …, 2015
Concurrency verification with maximal path causality
Q Yi, J Huang
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Feedback-Driven Incremental Symbolic Execution
Q Yi, G Yang
2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022
{LinKRID}: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution
J Liu, L Yi, W Chen, C Song, Z Qian, Q Yi
31st USENIX Security Symposium (USENIX Security 22), 125-142, 2022
Summary-guided incremental symbolic execution
Q Yi, J Wen, G Yang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Efficient Loop-Extended Model Checking of Data Structure Methods
Q Yi, J Liu, W Shen
Software Engineering, Business Continuity, and Education: International …, 2011
Model Checking a Secure Hypervisor
S Wang, J Liu, Q Yi, X Zhang
2010 Second World Congress on Software Engineering 2, 119-122, 2010
Specifying and building a formal secure Virtual Monitor Machine prototype
H Liang, Q Yi, S Tian
2010 3rd IEEE International Conference on Broadband Network and Multimedia …, 2010
The system can't perform the operation now. Try again later.
Articles 1–11