Jian Liu (in Chinese, 刘剑)
PhD and BEng in Computer Science

Associate Research Professor
The Key Laboratory of Network Assessment Technology and Beijing Key Laboratory of Network security technology , Institute of Information Engineering,
Chinese Academy of Sciences, Beijing, China.
Email: liujian6 A_T iie.ac.cn / (ljian236 A_T gmail.com)
Tel. : (+86) 010-829 40579
Research
I am interested in system and software security, mobile security, web security, program analysis, testing and model checking.
My current work includes testing and debugging of large-scale software programs (see ICSE 2015, ICST 2015, ACM TODEAS 2015) and concurrent errors detection (see FSE 2016). I am also working on secure vulnerability analysis and exploiting for Android systems (see Mobisys 2017 and ICSE2017).
Academic Services
Paper review
IEEE Transactions on Software Engineering (TSE), IEEE Transactions on Computers (TC), Journal of Systems and Software (JSS).
TrustComm 2015, QSIC 2013, APSEC 2011
Student direction
Tow PhD students (co-supervisor)
Four Master students (supervisor)
Main Publications
Journal Papers
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu and Chen Zhao. Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Transactions on Software Engineering (TSE), 2017. (CCF-A, Corresponding author)
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, and Chao Wang. Explaining software failures by cascade fault localization. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2015. (CCF-B, Corresponding author)
Conference Papers
Lannan Luo, Qiang Zeng, Chen Cao, Kai Chen, Jian Liu, Limin Liu, Neng Gao, Min Yang, Xinyu Xing and Peng Liu. System Service Call-oriented Symbolic Execution of Android Framework with Applications to Vulnerability Discovery and Exploit Generation. The 15th ACM International Conference on Mobile Systems, Applications, and Services (Mobisys). Niagara Falls, NY, USA, June 19th - 23rd, 2017. (CCF-B)
Menghao Li, Wei Wang, Pei Wang, Shuai Wang, Dinghao Wu, Jian Liu, Rui Xue and Wei Huo. LibD: Scalable and Precise Third-party Library Detection in Android Markets. The 39th International Conference on Software Engineering (ICSE). ACM, Buenos Aires, Argentina, May 20-28, 2017. (CCF-A, Corresponding author)
Yan Cai, Jian Zhang, Lingwei Cao and Jian Liu. A Deployable Sampling Strategy for Data Race Detection. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Seattle, WA, USA. 2016. (CCF-A)
Qiuping Yi, Zijiang Yang, Jian Liu, Zhao Chen, and Chao Wang. A synergistic analysis method for explaining failed regression tests. The 37th International Conference on Software Engineering (ICSE), May 16-24, 2015. Firenze, Italy. (CCF-A)
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu and Chen Zhao. Postconditioned Symbolic Execution. The 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 13-17, 2015. Graz, Austria. (CCF-C)
Wuwei Shen and Dae-Kyoo Kim, Jian Liu and Chen Zhao. Supporting flexible reification of design patterns. The 17th Asia Pacific Software Engineering Conference (APSEC), IEEE, Sydney, Australia, 2010. (CCF-C)
Sunlv Wang, Jian Liu, Qiuping Yi, Xian Zhang. Model Checking a Secure Hypervisor. The Second World Congress on Software Engineering (WCSE), IEEE, Wuhan, China, 2010.