Publications
206 publications
Clear all filters2006
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE 2006Jun 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
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances
PRICAI 2002Wenhui ZhangZhuo HuangJian Zhang
2001
A CONSTRAINT SOLVER AND ITS APPLICATION TO PATH FEASIBILITY ANALYSIS
IJSEKE 2001Jian ZhangXiaoxu WangAutomatic generation of database instances for white-box testing
COMPSAC 2001Jian ZhangChen XuS.-C. Cheung
2000
1999
Stress Testing of Distributed Multimedia Software Systems
FORTE/PSTV 1999Jian ZhangShing-Chi CheungSamuel T. Chanson
1996
System description generating models by SEM
CADE 1996Jian ZhangHantao Zhang
1995
Constraint propagation in model generation
CP 1995Jian ZhangHantao ZhangSEM: a System for Enumerating Models
IJCAI 1995Jian ZhangHantao Zhang