Boost Symbolic Execution Using Dynamic State Merging and Forking. - Chao Zhang; Weiliang Yin; Zhiqiang Lin (QuASoQ@APSEC, 2018)

Managing concurrent testing of data race with ComRaDe. - Jian Gao 008; Xin Yang; Yu Jiang 001; Han Liu 010; Weiliang Ying; Wanting Sun; Ming Gu 001 (ISSTA, 2018)

Jbench: a dataset of data races for concurrency testing. - Jian Gao 008; Xin Yang; Yu Jiang 001; Han Liu 010; Weiliang Ying; Xian Zhang (MSR, 2018)

Statically-Directed Assertion Recommendation for C Programs. - Cong Wang 020; Le Kang; Renwei Zhang; Weiliang Yin (COMPSAC (1), 2019)

Go-clone: graph-embedding based clone detector for Golang. - Cong Wang 020; Jian Gao 008; Yu Jiang 001; Zhenchang Xing; Huafeng Zhang; Weiliang Yin; Ming Gu 001; Jiaguang Sun 001 (ISSTA, 2019)