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).

2025年还有1名博士生指标（普博），欢迎对漏洞挖掘与利用、网络攻防有基础的硕士毕业生报名联系！

（liujian6@iie.ac.cn）或者电话/微信18515368366

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.