| 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 | 41 | 2015 |
| 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 | 35 | 2017 |
| 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 | 29 | 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 | 15 | 2015 |
| {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 | 9 | 2022 |
| Feedback-driven incremental symbolic execution Q Yi, G Yang 2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022 | 4 | 2022 |
| Concurrency verification with maximal path causality Q Yi, J Huang Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 3 | 2018 |
| Summary-guided incremental symbolic execution Q Yi, J Wen, G Yang Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | | 2020 |
| Efficient Loop-Extended Model Checking of Data Structure Methods Q Yi, J Liu, W Shen Software Engineering, Business Continuity, and Education: International …, 2011 | | 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 | | 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 | | 2010 |
