Weiliang Yin

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Graph Embedding

Recommendation Systems

Symbolic Execution

Information Overload

Top Venues

Publications

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)
Chao Zhang, Weiliang Yin, Zhiqiang Lin
Boost Symbolic Execution Using Dynamic State Merging and Forking. QuASoQ@APSEC (2018)