Guofeng Zhang

According to our database, Guofeng Zhang authored at least 13 papers between 2021 and 2026.

Collaborative distances:

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

2026

Selective Concolic Testing.

Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu

Proceedings of the Formal Methods - 27th International Symposium, 2026

EUF-based Solving Dyck-Reachability with Applications to Static Analysis.

Yide Du, Zhenbang Chen, Kunlin Liu, Guofeng Zhang, Xudong Wang, Ke Ma, Wei Dong, Ji Wang

Proceedings of the Formal Methods - 27th International Symposium, 2026

FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution).

Guofeng Zhang, Zhenbang Chen, Ji Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

Symbolic execution of floating-point programs: How far are we?

Xu Yang, Guofeng Zhang, Ziqi Shuai, Zhenbang Chen, Ji Wang

J. Syst. Softw., 2025

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

Hybrid Regression Test Selection by Synergizing File and Method Call Dependences.

Luyao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Hybrid Regression Test Selection by Integrating File and Method Dependences.

Guofeng Zhang, Luyao Liu, Zhenbang Chen, Ji Wang

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 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