张健
研究员
负责人 · 博士生导师
自动推理，约束求解，静态分析，软件测试
论文
2007
Volume Computation Using a Direct Monte Carlo Method
COCOON 2007CCF BSheng 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 ZhangBacktracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing
COMPSAC 2006CCF CJun YanJian ZhangBPEL4WS 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 XuSAT Based Automated Test Case Generation for MUMCUT Coverage
ISSRE 2006Jun YanJian Zhang
2005
Computer Search for Counterexamples to Wilkie’s Identity
CADE 2005CCF BJian 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 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 WangA path-based approach to the detection of infinite looping
APAQS 2001Jian ZhangAutomatic generation of database instances for white-box testing
COMPSAC 2001CCF CJian ZhangChen XuS.-C. CheungAutomatic symmetry breaking method combined with SAT
SAC 2001Jian Zhang
2000
1999
Stress Testing of Distributed Multimedia Software Systems
FORTE/PSTV 1999CCF CJian 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 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
1994
Problems on the generation of finite models
CADE 1994Jian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。