Tao Zhang

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Symbolic Execution

Specification Language

General Purpose

Test Generation

Top Venues

Publications

Tao Zhang, Yu Jiang, Runsheng Guo, Xiaoran Zheng, Hui Lu
A Survey of Hybrid Fuzzing based on Symbolic Execution. CIAT (2020)