Some Recent Publications of Jian Zhang

• 2017
• Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang. Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. QRS 2017: 42-53.
• Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan and Jian Zhang. Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. COMPSAC 2017.
• Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma. Weak QMV algebras and some ring-like structures. Soft Comput. 21(10): 2537-2547, 2017.
• Xi Deng, Tianyong Wu, Jun Yan and Jian Zhang. Combinatorial Testing on Implementations of HTML5 Support. ICST (IWCT workshop) 2017: 262-271.
• Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang. InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-code for Android Applications. SANER 2017 (tool track): 502-506.


• 2016
• Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang. Computing and estimating the volume of the solution space of SMT(LA) constraints. Theoretical Computer Science.
• Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan and Jian Zhang. The Floating-point Extension of Symbolic Execution Engine for Bug Detection. APSEC 2016: 265-272.
• Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu. A deployable sampling strategy for data race detection. FSE 2016: 810-821.
• Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. CP 2016: 650-665.
• Jierui Liu, Tianyong Wu, Jun Yan and Jian Zhang. Fixing Resource Leaks in Android Apps with Light-weight Static Analysis and Low-overhead Instrumentation. ISSRE 2016: 342-352.
• Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, and Jian Zhang. Relda2: An Effective Static Analysis Tool for Resource Leak Detection in Android Apps. ASE (Tool Demo) 2016, 762-767.
• Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan, Jian Zhang. Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Transactions on Software Engineering, 42(11):1054 - 1076. Nov. 2016. Extended version of ASE'13 Paper.


• 2015
• Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang. Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. FM 2015: 551-569
• Zhiqiang Zhang, Tianyong Wu, Jian Zhang. Boundary value analysis in automatic white-box test generation. ISSRE 2015: 239-249
• Zhenbo Xu, Jian Zhang, Zhongxing Xu. Melton: a practical and precise memory leak detection tool for C programs. Frontiers of Computer Science, 9(1): 34-54, 2015. (extended version of the APSEC 2011 paper).


• 2014
• 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, 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.


• 2013
• Yan Hu, Jun Yan, Jian Zhang, He Jiang. Profile directed systematic testing of concurrent programs. AST 2013: 47-52
• Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang. Cascade: A Test Generation Tool for Combinatorial Testing. ICST Workshops (IWCT) 2013: 267-270
• 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.


• 2012
• 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.


• 2011
• 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.


• 2006-2010
• 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.

---


Last Modified: Aug.22, 2017