​
Login / Signup
Cong Wang
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 8
Top Topics
Recommender Systems
User Preferences
Cross Platform
Multiscale
Top Venues
COMPSAC (1)
CoRR
ICSE (Companion Volume)
ISSTA
</>
Publications
</>
Jian Gao
,
Yu Jiang
,
Zhe Liu
,
Xin Yang
,
Cong Wang
,
Xun Jiao
,
Zijiang Yang
,
Jiaguang Sun
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker.
CoRR
(2022)
Jian Gao
,
Yu Jiang
,
Zhe Liu
,
Xin Yang
,
Cong Wang
,
Xun Jiao
,
Zijiang Yang
,
Jiaguang Sun
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker.
IEEE Trans. Software Eng.
47 (11) (2021)
Cong Wang
,
Mingrui Zhang
,
Yu Jiang
,
Huafeng Zhang
,
Zhenchang Xing
,
Ming Gu
Escape from escape analysis of Golang.
ICSE (SEIP)
(2020)
Cong Wang
,
Hao Sun
,
Yiwen Xu
,
Yu Jiang
,
Huafeng Zhang
,
Ming Gu
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.
ISSRE Workshops
(2019)
Cong Wang
,
Le Kang
,
Renwei Zhang
,
Weiliang Yin
Statically-Directed Assertion Recommendation for C Programs.
COMPSAC (1)
(2019)
Cong Wang
,
Jian Gao
,
Yu Jiang
,
Zhenchang Xing
,
Huafeng Zhang
,
Weiliang Yin
,
Ming Gu
,
Jiaguang Sun
Go-clone: graph-embedding based clone detector for Golang.
ISSTA
(2019)
Cong Wang
,
Yu Jiang
,
Xibin Zhao
,
Xiaoyu Song
,
Ming Gu
,
Jiaguang Sun
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.
ICSE (Companion Volume)
(2018)
Cong Wang
,
Fei He
,
Xiaoyu Song
,
Yu Jiang
,
Ming Gu
,
Jiaguang Sun
Assertion Recommendation for Formal Program Verification.
COMPSAC (1)
(2017)