conf.researchr.org / Guofeng Zhang
Registered user since Tue 6 Jul 2021
Name:Guofeng Zhang
Country:China
Affiliation:College of Computer, National University of Defense Technology
Contributions
2024
2021
ISSTA
- Author of Grammar-Agnostic Symbolic Execution by Token Symbolization within the Technical Papers-track
- Author of Synthesize Solving Strategy for Symbolic Execution within the Technical Papers-track
- Author of Grammar-Agnostic Symbolic Execution by Token Symbolization within the Artifact Evaluation-track