Login / Signup
Xianfei Shen
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Shape Analysis
Symbolic Execution
Shape Space
X Ray
Top Venues
计算机科学
</>
Publications
</>
Jiabiao Liang
,
Zhaopeng Li
,
Ling Zhu
,
Xianfei Shen
支持形状分析的符号执行引擎的设计与实现 (Symbolic Execution Engine with Shape Analysis).
计算机科学
43 (3) (2016)