About us
Research
People
Faculty and Staff
Leadership Team
CAS Members
International Cooperation
News
Resources
Education & Training
Join Us
Societies & Publications
Papers
Links
 
1.Basic Info
Name: ZHANG Jian
Title: Research Professor
Sex:
Department:
Telephone: 010-62661625
Email: zj(a)ios.ac.cn
Home page: http://lcs.ios.ac.cn/~zj/
Addr: 4# South Fourth Street, Zhong Guan Cun, Beijing 100190, P.R. CHINA
Zipcode: 100190
2.Research interests:

· Finite Model Searching and Satisfiability Checking (esp. for the first-order logic)

· Program Analysis and Software Testing (symbolic execution, combinatorial testing, etc.)

3.Education:
4.Other Positions:
5.Employment:
6. Recent Awards:
7.Recent Publications (Selected):
· J. Zhang and X. Wang, A constraint solver and its application to path feasibility analysis, Int’l J. of Software Engineering and Knowledge Engineering, Vol.11, No.2, 2001.
· J. Zhang, C. Xu and S.C. Cheung, Automatic generation of database instances for white-box testing, Proc. Int’l Computer Software and Applications Conference (COMPSAC), 2001.
· 张健,逻辑公式的可满足性判定 --- 方法、工具及应用,科学出版社,北京,2000。
· 张健,有限构模器的扩展及其在形式化方法中的应用,计算机学报,第23卷第2期,2000年2月,190--194页。
· J. Zhang, S.C. Cheung and S. Chanson, Stress testing of distributed multimedia software systems, Proc. FORTE/PSTV, Kluwer Academic Publishers, 1999, pp.119-133.