A Correctness Verification Method for C Programs Based on VCC. - Hongliang Liang; Daijie Zhang; Xiaoxiao Pei; Xiaodong Jia; Guangyuan Li; Jiuyun Xu (CSCloud, 2016)

A New Pre-copy Strategy for Live Migration of Virtual Machines. - Hongliang Liang; Hao Dai; Xiaoxiao Pei; Qiong Zhang (IIKI, 2016)

Verifying RTuinOS using VCC: From approach to practice. - Hongliang Liang; Daijie Zhang; Xiaodong Jia; Xiaoxiao Pei; Guangyuan Li (SNPD, 2016)

A Novel Method Makes Concolic System More Effective. - Hongliang Liang; Zhengyu Li; Minhuan Huang; Xiaoxiao Pei (CSCloud, 2017)

vmOS: A virtualization-based, secure desktop system. - Hongliang Liang; Mingyu Li; Jian Xu; Wenying Hu; Xiaoxiao Pei; Xiaodong Jia; Yan Song (Comput. Secur., 2017)

Fuzzing: State of the Art. - Hongliang Liang; Xiaoxiao Pei; Xiaodong Jia; Wuwei Shen; Jian Zhang 001 (IEEE Trans. Reliab., 2018)