Articles with public access mandates - Qiuping YiLearn more
Not available anywhere: 3
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
Mandates: National Natural Science Foundation of China
Feedback-driven incremental symbolic execution
Q Yi, G Yang
2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022
Mandates: US National Science Foundation, National Natural Science Foundation of China
Concurrency verification with maximal path causality
Q Yi, J Huang
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Mandates: US National Science Foundation
Available somewhere: 5
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
Mandates: US National Science Foundation, National Natural Science Foundation of China
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
Mandates: National Natural Science Foundation of China
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
Mandates: National Natural Science Foundation of China
{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
Mandates: National Natural Science Foundation of China
Summary-guided incremental symbolic execution
Q Yi, J Wen, G Yang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program