Xiaoxiao Pei

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 6

Top Topics

Control Structures

Virtual Machine

Top Venues

IEEE Trans. Reliab.

Publications

Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang
Fuzzing: State of the Art. IEEE Trans. Reliab. 67 (3) (2018)
Hongliang Liang, Zhengyu Li, Minhuan Huang, Xiaoxiao Pei
A Novel Method Makes Concolic System More Effective. CSCloud (2017)
Hongliang Liang, Mingyu Li, Jian Xu, Wenying Hu, Xiaoxiao Pei, Xiaodong Jia, Yan Song
vmOS: A virtualization-based, secure desktop system. Comput. Secur. 65 (2017)
Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li
Verifying RTuinOS using VCC: From approach to practice. SNPD (2016)
Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu
A Correctness Verification Method for C Programs Based on VCC. CSCloud (2016)
Hongliang Liang, Hao Dai, Xiaoxiao Pei, Qiong Zhang
A New Pre-copy Strategy for Live Migration of Virtual Machines. IIKI (2016)