Qiuping Yi
Title
Cited by
Cited by
Year
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
252015
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
202017
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
192015
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
112015
Concurrency verification with maximal path causality
Q Yi, J Huang
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
12018
Summary-guided incremental symbolic execution
Q Yi, J Wen, G Yang
2020 IEEE/ACM 42nd International Conference on Software Engineering …, 2020
2020
Efficient Loop-Extended Model Checking of Data Structure Methods
Q Yi, J Liu, W Shen
International Conference on Advanced Software Engineering and Its …, 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
The system can't perform the operation now. Try again later.
Articles 1–9