• Publications
  • Projects


  • Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. accepted by IJCAI 2019.
  • Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. accepted by IJCAI 2019.
  • Pei Huang, Minghao Liu, Cunjun Ge, Feifei Ma, JianZhang. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. accepted by ISSAC 2019.










  • Baiqiang Chen, Jian Zhang. Combinatorial testing with shielding parameters. Proc. APSEC 2010, pp.280-289.
  • Zhongxing Xu, Ted Kremenek, Jian Zhang. A memory model for static analysis of C programs. Proc. ISoLA 2010, Part I, LNCS 6415, pp.535-548.
  • Feifei Ma. Constraint solving techniques for software testing and analysis. ICSE (2) 2010,2010
  • Jifeng Xuan, He Jiang, Zhilei Ren, Jun Yan, Zhongxuan Luo: Automatic Bug Triage using Semi-Supervised Text Classification. SEKE 2010: 209-214



  • Jian Zhang, System Description: MCS: Model-based Conjecture Searching. CADE 1999: 393-397
  • Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson, Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133
  • Jian Zhang, Finite Model Generation and Formal Specification Development. TOOLS (24) 1997: 350-355
  • Jian Zhang, Constructing Finite Algebras with FALCON. J. Autom. Reasoning 17(1): 1-22 (1996)
  • Jian Zhang, Hantao Zhang, Combining Local Search and Backtracking Techniques for Constraint Satisfaction. AAAI/IAAI, Vol. 1 1996: 369-374
  • Jian Zhang, Hantao Zhang, System Description: Generating Models by SEM. CADE 1996: 308-312
  • Jian Zhang, Hantao Zhang, Constraint Propagation in Model Generation. CP 1995: 398-414
  • Jian Zhang, Hantao Zhang, SEM: a System for Enumerating Models. IJCAI 1995: 298-303
  • Jian Zhang, Problems on the Generation of Finite Models. CADE 1994: 753-757
  • 安全攸关软件系统的构造与质量保障方法研究,  国家级, 2014-01--2018-08
  • 软件安全性分析的关键技术与工具,  国家级, 2015-01--2016-12
  • Extended Research on Satis ability. National Natural Science Foundation of China (NSF China), Grant No. 61100064. (Principal Investigator) 2012.01-2014.12
  • Crucial Algorithms for Test Cases in Railway Control System. Open Project of State Key Laboratory of Rail Trac Control and Safety, Northern Jiaotong University. (Principal Investigator) 2011.01-2012.12