Some Recent Publications of Jian Zhang
- Feifei Ma, Sheng Liu, Jian Zhang.
Volume Computation
for Boolean Combination of Linear Arithmetic Constraints, Proc. CADE-22, LNCS 5663,
pp.453-468, 2009.
- Jun Yan, Jian Zhang.
An Efficient Method to
Generate Feasible Paths for Basis Path Testing,
Information Processing Letters, 107(3-4): 87-92, 2008.
- Jun Yan, Jian Zhang.
A Backtracking Search
Tool for Constructing Combinatorial Test Suites,
Journal of Systems and Software, 81(10): 1681-1693, 2008.
- Zhongxing Xu, Jian Zhang.
Path and
Context Sensitive Inter-procedural Memory Leak Detection, Proc. QSIC 2008, pp.412-420.
- Hui Ruan, Jian Zhang, Jun Yan.
Test Data Generation
for C Programs with String-Handling Functions, Proc. TASE 2008, pp.219-226.
- Feifei Ma, Jian Zhang.
Finding Orthogonal Arrays
Using Satisfiability Checkers and Symmetry Breaking Constraints, Proc. PRICAI 2008,
LNCS 5351, pp.247-259.
- Feifei Ma, Jian Zhang.
Computer Search
for Large Sets of Idempotent Quasigroups, Proc. ASCM 2007, LNCS 5081, pp.349-358, 2008.
- Sheng Liu, Jian Zhang, Binhai Zhu.
Volume Computation
Using a Direct Monte Carlo Method, Proc. COCOON 2007, LNCS 4598, pp.198-209.
- Jian Zhang.
Constraint Solving
and Symbolic Execution, Proc. VSTTE 2005, LNCS 4171, pp.539-544, 2008.
- Xiangxue Jia, Jian Zhang.
A Powerful Technique
to Eliminate Isomorphism in Finite Model Search, Proc. IJCAR 2006, LNCS 4130, pp.318-331.
- Jun Yan, Jian Zhang, Zhongxing Xu.
Finding Relations
Among Linear Constraints, Proc. AISC 2006, LNCS 4120, pp.226-240.
- Zhongxing Xu, Jian Zhang.
A
Test Data Generation Tool for Unit Testing of C Programs, Proc. QSIC 2006, pp.107-116.
- Jian Zhang.
Computer Search for
Counterexamples to Wilkie's Identity, Proc. CADE-20, LNCS 3632, 441-451, 2005.
Last Modified: 2009-11-11