Guofeng Zhang -

Registered user since Tue 6 Jul 2021

Name:Guofeng Zhang

Country:China

Affiliation:College of Computer, National University of Defense Technology

Contributions

2026

FM

Author of Selective Concolic Testing within the TAP Track-track
Author of EUF-based Solving Dyck-Reachability with Applications to Static Analysis within the TAP Track-track

ICSE

Author of Context-Free Property Oriented Fuzzing within the Research Track-track
Author of Large Language Model powered Test Driver Generation for High-performance Computing Library within the New Ideas and Emerging Results (NIER)-track

2024

ASE

Author of Hybrid Regression Test Selection by Integrating File and Method Dependences within the Research Papers-track

ESEC/FSE

Author of Hybrid Regression Test Selection by Synergizing File and Method Call Dependences within the Posters-track

KLEE

Author of Symbolic Execution Oriented Constraint Solving within the KLEE 2024-track

2021

ISSTA