Ziqi Shuai

According to our database, Ziqi Shuai authored at least 15 papers between 2019 and 2024.

Collaborative distances:

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

2024

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).

Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

GWalloc: A self-adaptive generational wear-aware allocator for non-volatile main memory.

Ziwei Wang, Wei Li, Ziqi Shuai, Qingan Li

Microprocess. Microsystems, 2023

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.

Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

Symbolic Execution of MPI Programs with One-Sided Communications.

Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.

Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

Symbolic Execution of Floating-point Programs: How far are we?

Guofeng Zhang, Zhenbang Chen, Ziqi Shuai

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

Optimal Refinement-based Array Constraint Solving for Symbolic Execution.

Meixi Liu, Ziqi Shuai, Luyao Liu, Kelin Ma, Ke Ma

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Optimal Conjunctive Normal Form Encoding for Symbolic Execution.

Weiyu Pan, Ziqi Shuai, Ke Ma, Luyao Liu

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Selective Symbolization Based Efficient Symbolic Execution.

Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Type and interval aware array constraint solving for symbolic execution.

Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Synthesize solving strategy for symbolic execution.

Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Efficient Multiplex Symbolic Execution with Adaptive Search Strategy.

Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once.

Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Synthesizing Smart Solving Strategy for Symbolic Execution.

Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

A Wear Leveling Aware Memory Allocator for Both Stack and Heap Management in PCM-based Main Memory Systems.

Wei Li, Ziqi Shuai, Chun Jason Xue, Mengting Yuan, Qingan Li

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019