( en | de | ru )

 

Disambiguation of "Shuai, Ziqi"

Author of the publication

copydeleteadd this publication to your clipboard
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).

, , , , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 304-308. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ziqi Zhang

Wenjing Shuai

Jianyun Shuai

Shuai Yuan

Yao Shuai

 

Other publications of authors with the same name

Optimal Refinement-based Array Constraint Solving for Symbolic Execution., , , , and . APSEC, page 299-308. IEEE, (2022)Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization., , , , and . APSEC, page 328-337. IEEE, (2022)Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once., , , , , and . ASE, page 846-857. IEEE, (2020)Optimal Conjunctive Normal Form Encoding for Symbolic Execution., , , and . SEKE, page 538-543. KSI Research Inc., (2021)Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution., , , , and . APSEC, page 661-662. IEEE, (2023)Symbolic Execution of Floating-point Programs: How far are we?, , and . APSEC, page 179-188. IEEE, (2022)Type and interval aware array constraint solving for symbolic execution., , , , and . ISSTA, page 361-373. ACM, (2021)Symbolic Execution of MPI Programs with One-Sided Communications., , , , and . APSEC, page 657-658. IEEE, (2023)A Wear Leveling Aware Memory Allocator for Both Stack and Heap Management in PCM-based Main Memory Systems., , , , and . DATE, page 228-233. IEEE, (2019)Selective Symbolization Based Efficient Symbolic Execution., , , and . QRS Companion, page 1169-1170. IEEE, (2021)