2019

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

2018

2017

2016

2015

2014

2013

2012

2011

2010

  • 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

2000-2009

1990-1999

  • 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