论文
2006
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE 2006CCF BJun YanZhongjie LiYuan YuanWei SunJian ZhangFinding Relations Among Linear Constraints
AISC 2006Jun YanJian ZhangZhongxing Xu
2005
Predicate-Oriented Isomorphism Elimination in Model Finding
IJCAI 2005Xiangxue JiaJian Zhang
2004
Extending Finite Model Searching with Congruence Closure Computation
AISC 2004Jian ZhangHantao ZhangImproving First-order Model Searching by Propositional Reasoning and Lemma Learning
SAT 2004Zhuo HuangHantao ZhangJian ZhangPath-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques
SEFM 2004Jian ZhangChen XuXiaoliang Wang
2002
Automated test case generation for the stress testing of multimedia systems
SPE 2002CCF BJian ZhangS. C. CheungParallel Execution of Stochastic Search Procedures on Reduced SAT Instances
PRICAI 2002CCF CWenhui ZhangZhuo HuangJian Zhang
2001
A CONSTRAINT SOLVER AND ITS APPLICATION TO PATH FEASIBILITY ANALYSIS
IJSEKE 2001CCF CJian ZhangXiaoxu WangAutomatic generation of database instances for white-box testing
COMPSAC 2001CCF CJian ZhangChen XuS.-C. Cheung
2000
1999
Stress Testing of Distributed Multimedia Software Systems
FORTE/PSTV 1999CCF CJian ZhangShing-Chi CheungSamuel T. Chanson
1996
Combining Local Search and Backtracking Techniques for Constraint Satisfaction
AAAI 1996CCF AJian ZhangHantao ZhangConstructing finite algebras with FALCON
JAR 1996CCF BJian ZhangSystem description generating models by SEM
CADE 1996Jian ZhangHantao Zhang
1995
Constraint propagation in model generation
CP 1995CCF BJian ZhangHantao ZhangSEM: a System for Enumerating Models
IJCAI 1995CCF BJian ZhangHantao Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。