Login / Signup
Yongji Ouyang
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Symbolic Execution
Specification Language
Test Generation
Top Venues
ICSAI
</>
Publications
</>
Yongji Ouyang
,
Shuai Zeng
,
Chao Yang
,
Qingxian Wang
Improving guide-based vulnerability detection with hybrid symbolic execution.
ICSAI
(2014)