Xiaoxiao Pei

According to our database, Xiaoxiao Pei authored at least 6 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Fuzzing: State of the Art.

Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang

IEEE Trans. Reliab., 2018

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

A Novel Method Makes Concolic System More Effective.

Hongliang Liang, Zhengyu Li, Minhuan Huang, Xiaoxiao Pei

Proceedings of the 4th IEEE International Conference on Cyber Security and Cloud Computing, 2017

2016

Verifying RTuinOS using VCC: From approach to practice.

Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

A New Pre-copy Strategy for Live Migration of Virtual Machines.

Hongliang Liang, Hao Dai, Xiaoxiao Pei, Qiong Zhang

Proceedings of the International Conference on Identification, 2016

A Correctness Verification Method for C Programs Based on VCC.

Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu

Proceedings of the 3rd IEEE International Conference on Cyber Security and Cloud Computing, 2016