conf.researchr.org / Ziqi Shuai
Registered user since Tue 6 Jul 2021
Name:Ziqi Shuai
Country:China
Affiliation:School of Computer, National University of Defense Technology, China
Contributions
2024
2023
2022
APSEC
- Author of Optimal Refinement-based Array Constraint Solving for Symbolic Execution within the Technical Track-track
- Author of Symbolic Execution of Floating-point Programs: How far are we? within the Technical Track-track
- Author of Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization within the Technical Track-track
2021
ISSTA
- Author of Type and Interval aware Array Constraint Solving for Symbolic Execution within the Artifact Evaluation-track
- Author of Synthesize Solving Strategy for Symbolic Execution within the Technical Papers-track
- Author of Type and Interval Aware Array Constraint Solving for Symbolic Execution within the Technical Papers-track
2020
ASE
- Author of Synthesizing Smart Solving Strategy for Symbolic Execution within the Late Breaking Results-track
- Author of Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once within the Research Papers-track
- Author of Efficient Multiplex Symbolic Execution with Adaptive Search Strategy within the Late Breaking Results-track