( en | de | ru )

 

Disambiguierung von "Shuai, Ziqi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Execution of Floating-point Programs: How far are we?

, , und . APSEC, Seite 179-188. IEEE, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ziqi Zhang

Wenjing Shuai

Jianyun Shuai

Shuai Yuan

Yao Shuai

 

Weitere Publikationen von Autoren mit dem selben Namen

Partial Solution Based Constraint Solving Cache in Symbolic Execution., , , , , , und . Proc. ACM Softw. Eng., 1 (FSE): 2493-2514 (2024)Symbolic Execution of Floating-point Programs: How far are we?, , und . APSEC, Seite 179-188. IEEE, (2022)Type and interval aware array constraint solving for symbolic execution., , , , und . ISSTA, Seite 361-373. ACM, (2021)Symbolic Execution of MPI Programs with One-Sided Communications., , , , und . APSEC, Seite 657-658. IEEE, (2023)Optimal Refinement-based Array Constraint Solving for Symbolic Execution., , , , und . APSEC, Seite 299-308. IEEE, (2022)Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization., , , , und . APSEC, Seite 328-337. IEEE, (2022)Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once., , , , , und . ASE, Seite 846-857. IEEE, (2020)Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution., , , , und . APSEC, Seite 661-662. IEEE, (2023)Optimal Conjunctive Normal Form Encoding for Symbolic Execution., , , und . SEKE, Seite 538-543. KSI Research Inc., (2021)Adaptive solving strategy synthesis for symbolic execution., , , , , , und . J. Softw. Evol. Process., (April 2024)