Some Recent Publications of Jian Zhang

• Jian Zhang, Zhiqiang Zhang, Feifei Ma. Automatic Generation of Combinatorial Test Data. Springer, 2014.
  ISBN: 978-3-662-43428-4 (Print) 978-3-662-43429-1 (Online)
• Zhiqiang Zhang, Jun Yan, Yong Zhao, Jian Zhang. Generating combinatorial test suite using combinatorial optimization. Journal of Systems & Software, 98: 191-207, 2014.
• Zhenbo Xu, Jian Zhang, Zhongxing Xu. Melton: a practical and precise memory leak detection tool for C programs. Frontiers of Computer Science, to appear. (extended version of the APSEC 2011 paper)
• Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang. Canalyze: a static bug-finding tool for C programs. Proc. ISSTA 2014, pp.425-428.
• Tianyong Wu, Jun Yan, Jian Zhang. Automatic test data generation for unit testing to achieve MC/DC criterion. Proc. SERE 2014, pp.118-126.
• Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang. Characterizing and detecting resource leaks in Android applications. Proc. ASE 2013, pp.389-398.
• Jian Zhang. Performance estimation using symbolic data. LNCS 8051, pp.346-353, 2013.
• Hantao Zhang, Jian Zhang. MACE4 and SEM: A comparison of finite model generators. LNCS 7788, pp.101-130, 2013.
• Jian Zhang, Feifei Ma, Zhiqiang Zhang. Faulty interaction identification via constraint solving and optimization. Proc. SAT 2012, LNCS 7317, pp.186-199.
• Tianyong Wu, Jun Yan, Jian Zhang. A path-oriented approach to generating executable test sequences for extended finite state machines. Proc. TASE 2012, pp.267-270.
• Feifei Ma, Jun Yan, Jian Zhang. Solving generalized optimization problems subject to SMT constraints. Proc. FAW/AAIM 2012, LNCS 7285, pp.247-258.
• Zhenbo Xu, Jian Zhang, Zhongxing Xu. Memory leak detection based on memory state transition graph. Proc. APSEC 2011, pp.33-40.
• Zhiqiang Zhang, Jian Zhang. Characterizing failure-causing parameter interactions by adaptive testing. Proc. ISSTA 2011, pp.331-341.
• Runming Lu, Sheng Liu, Jian Zhang. Searching for doubly self-orthogonal Latin squares. Proc. CP 2011, pp.538-545.
• Sheng Liu, Jian Zhang. Program analysis: from qualitative analysis to quantitative analysis (NIER track). Proc. ICSE 2011, pp.956-959.
• Baiqiang Chen, Jian Zhang. Tuple density: a new metric for combinatorial test suites (NIER track). Proc. ICSE 2011, pp.876-879.
• Baiqiang Chen, Jian Zhang. Combinatorial testing with shielding parameters. Proc. APSEC 2010, pp.280-289.
• Zhongxing Xu, Ted Kremenek, Jian Zhang. A memory model for static analysis of C programs. Proc. ISoLA 2010, Part I, LNCS 6415, pp.535-548.
• 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 & 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.