We stand with Ukraine  

Guofeng Zhang

Orcid: 0009-0006-2359-9687

Affiliations:
  • National University of Defense Technology, Chengdu, China


According to our database1, Guofeng Zhang authored at least 9 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Symbolic execution of floating-point programs: How far are we?
[BibTeX]
[DOI]
Xu Yang
,
Guofeng Zhang
,
Ziqi Shuai
,
Zhenbang Chen
,
Ji Wang
J. Syst. Softw., 2025

2024
Adaptive solving strategy synthesis for symbolic execution.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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?
[BibTeX]
[DOI]
Guofeng Zhang
,
Zhenbang Chen
,
Ziqi Shuai
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Selective Symbolization Based Efficient Symbolic Execution.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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


  Loading...