Guofeng Zhang

According to our database, Guofeng Zhang authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adaptive solving strategy synthesis for symbolic execution.

Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang

J. Softw. Evol. Process., April, 2024

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).

Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.

Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

Symbolic Execution of Floating-point Programs: How far are we?

Guofeng Zhang, Zhenbang Chen, Ziqi Shuai

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Selective Symbolization Based Efficient Symbolic Execution.

Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Grammar-agnostic symbolic execution by token symbolization.

Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Synthesize solving strategy for symbolic execution.

Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021