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.