Qiuping Yi

According to our database, Qiuping Yi authored at least 9 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.

Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi

Proceedings of the 31st USENIX Security Symposium, 2022

Feedback-Driven Incremental Symbolic Execution.

Qiuping Yi, Guowei Yang

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2020

Summary-guided incremental symbolic execution.

Qiuping Yi, Junye Wen, Guowei Yang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2018

Eliminating Path Redundancy via Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

IEEE Trans. Software Eng., 2018

Concurrency verification with maximal path causality.

Qiuping Yi, Jeff Huang

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2015

Explaining Software Failures by Cascade Fault Localization.

Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang

ACM Trans. Design Autom. Electr. Syst., 2015

Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

A Synergistic Analysis Method for Explaining Failed Regression Tests.

Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2011

Efficient Loop-Extended Model Checking of Data Structure Methods.

Qiuping Yi, Jian Liu, Wuwei Shen

Proceedings of the Software Engineering, Business Continuity, and Education, 2011