Eliminating Path Redundancy via Postconditioned Symbolic Execution
Yi, Qiuping, Yang, Zijiang, Guo, Shengjian, Wang, Chao, Liu, Jian, Zhao, Chen
Published in IEEE transactions on software engineering (01.01.2018)
Published in IEEE transactions on software engineering (01.01.2018)
Get full text
Journal Article
Nanocrystallization and strengthening of Mg-Dy-Zr alloys by room temperature rotary swaging
Yi, Qiuping, Dai, Yuanxiao, Hu, Yaobo, Jiang, Bin, Pan, Fusheng
Published in Journal of materials research and technology (01.05.2024)
Published in Journal of materials research and technology (01.05.2024)
Get full text
Journal Article
The discrepancy in basal slip hardening rates of cast and extruded Mg-Y-Zr alloys
Dai, Yuanxiao, Yi, Qiuping, Hu, Yaobo, Jiang, Bin, Pan, Fusheng
Published in Journal of materials research and technology (01.01.2024)
Published in Journal of materials research and technology (01.01.2024)
Get full text
Journal Article
A Synergistic Analysis Method for Explaining Failed Regression Tests
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Feedback-Driven Incremental Symbolic Execution
Yi, Qiuping, Yang, Guowei
Published in 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (01.10.2022)
Published in 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (01.10.2022)
Get full text
Conference Proceeding
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
Yi, Qiuping, Yu, Yifan, Yang, Guowei
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Research on Mechanical Antenna Performance Based on Rotating Permanent Magnet Triangle Array
Bao, Jianqiang, Tian, Yanwei, Wang, Yan, Yi, Qiuping, Li, Na
Published in Journal of physics. Conference series (01.07.2021)
Published in Journal of physics. Conference series (01.07.2021)
Get full text
Journal Article
Postconditioned Symbolic Execution
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
Published in 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) (01.04.2015)
Published in 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) (01.04.2015)
Get full text
Conference Proceeding
Shaped Elevation Beam Design for Airborne Conformal Array Detection
Zeng, Yuanchen, Zhang, Shuo, Li, Na, Duan, Baoyan, Yi, Qiuping, Zhang, Jin, Sun, Zhenyuan
Published in IEEE antennas and wireless propagation letters (01.12.2020)
Published in IEEE antennas and wireless propagation letters (01.12.2020)
Get full text
Journal Article
Summary-Guided Incremental Symbolic Execution
Yi, Qiuping, Wen, Junye, Yang, Guowei
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.10.2020)
Get full text
Conference Proceeding
Model Checking a Secure Hypervisor
Sunlv Wang, Jian Liu, Qiuping Yi, Xian Zhang
Published in 2010 Second World Congress on Software Engineering (01.12.2010)
Published in 2010 Second World Congress on Software Engineering (01.12.2010)
Get full text
Conference Proceeding
Specifying and building a formal secure Virtual Monitor Machine prototype
Hongliang Liang, Qiuping Yi, Shuo Tian
Published in 2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology (IC-BNMT) (01.10.2010)
Published in 2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology (IC-BNMT) (01.10.2010)
Get full text
Conference Proceeding
The Mechanism of Chemokine Receptor 9 Internalization Triggered by Interleukin 2 and Interleukin 4
Tong, Xiaoling, Zhang, Lijun, Zhang, Li, Hu, Meng, Leng, Jun, Yu, Beibei, Zhou, Beibei, Hu, Yi, Zhang, Qiuping
Published in Cellular & molecular immunology (01.06.2009)
Published in Cellular & molecular immunology (01.06.2009)
Get full text
Journal Article