Yunshan Zhao

Statistics

Publications

Citations

H-Index

Active since

2011

Affiliations

State Key Laboratory of Networking and Switching Technology(Current)

Beijing University of Posts and Telecommunications

Air Force Engineering University

Yunshan Zhao is an author at State Key Laboratory of Networking and Switching Technology specializing in symbolic execution, control-flow analysis, and data-flow analysis.

Publications per year

2011–2011

Publications

STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic

Yunshan Zhao, Yawen Wang, Yunzhan Gong et al. · 2011 · 15 citations

Computing, Computer Engineering, Computer Science +17

Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model

Yunshan Zhao, Yunzhan Gong, Li Liu et al. · 2011 · 13 citations

Computing, Computer Engineering, Computer Science +17

1–2 of 2