Guofeng Zhang

11 papers A* 1A 2B 2C 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution).
FASE
Guofeng Zhang, Zhenbang Chen, Ji Wang
2025 J jnl
Symbolic execution of floating-point programs: How far are we?
J. Syst. Softw.
Xu Yang, Guofeng Zhang, Ziqi Shuai, Zhenbang Chen, Ji Wang
2024 J jnl
Adaptive solving strategy synthesis for symbolic execution.
J. Softw. Evol. Process.
Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
2024 B conf
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).
FASE
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
2024 A* conf
Hybrid Regression Test Selection by Integrating File and Method Dependences.
ASE
Guofeng Zhang, LuYao Liu, Zhenbang Chen, Ji Wang
2024 — conf
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences.
SIGSOFT FSE Companion
LuYao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang
2022 C conf
Symbolic Execution of Floating-point Programs: How far are we?
APSEC
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
2022 C conf
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.
APSEC
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
2021 A conf
Grammar-agnostic symbolic execution by token symbolization.
ISSTA
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
2021 — conf
Selective Symbolization Based Efficient Symbolic Execution.
QRS Companion
Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
2021 A conf
Synthesize solving strategy for symbolic execution.
ISSTA
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang