Guofeng Zhang

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Test Generation

Regression Analysis

Symbolic Execution

Floating Point Arithmetic

Top Venues

Publications

Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. 36 (4) (2024)
Luyao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. SIGSOFT FSE Companion (2024)
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE (2024)
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC (2022)
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
Symbolic Execution of Floating-point Programs: How far are we? APSEC (2022)
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
Grammar-agnostic symbolic execution by token symbolization. ISSTA (2021)
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
Synthesize solving strategy for symbolic execution. ISSTA (2021)
Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
Selective Symbolization Based Efficient Symbolic Execution. QRS Companion (2021)