Jian Zhang
Professor
Leader · PhD Supervisor
Automatic reasoning, Constraint solving, Static analysis and Software testing
Publications
150 publications
Clear all filters2007
Volume Computation Using a Direct Monte Carlo Method
COCOON 2007Sheng LiuJian ZhangBinhai Zhu
2006
A Powerful Technique to Eliminate Isomorphism in Finite Model Search
IJCAR 2006Xiangxue JiaJian ZhangA Test Data Generation Tool for Unit Testing of C Programs
QSIC 2006Zhongxing XuJian ZhangBPEL4WS 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 XuSAT Based Automated Test Case Generation for MUMCUT Coverage
ISSRE 2006Jun YanJian Zhang
2005
Computer Search for Counterexamples to Wilkie’s Identity
CADE 2005Jian ZhangPredicate-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 WangQuantitative Analysis of Symbolic Execution
COMPSAC 2004Jian Zhang
2002
Automated test case generation for the stress testing of multimedia systems
SPE 2002Jian ZhangS. C. CheungParallel 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 WangA path-based approach to the detection of infinite looping
APAQS 2001Jian ZhangAutomatic generation of database instances for white-box testing
COMPSAC 2001Jian ZhangChen XuS.-C. CheungAutomatic symmetry breaking method combined with SAT
SAC 2001Jian Zhang
2000
1999
Stress Testing of Distributed Multimedia Software Systems
FORTE/PSTV 1999Jian ZhangShing-Chi CheungSamuel T. ChansonSystem Description: MCS: Model-Based Conjecture Searching
CADE 1999Jian Zhang
1997
Finite model generation and formal specification development
TOOLS 1997Jian Zhang
1996
Combining Local Search and Backtracking Techniques for Constraint Satisfaction
AAAI 1996Jian ZhangHantao ZhangConstructing finite algebras with FALCON
JAR 1996Jian ZhangSystem 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
1994
Problems on the generation of finite models
CADE 1994Jian Zhang