Selected Publications of Jian Zhang

• Xutong Ma, Jiwei Yan, Jiwei Yan, Jun Yan, Jian Zhang, Zongyan Qiu. Detecting memory-related bugs by tracking heap memory management of C++ smart pointers. Proc. ASE 2021.
• Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang. Efficient SAT-based minimal model generation methods for modal logic S5. Proc. SAT 2021, LNCS 12831, pp.225-241.
• Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. Proc. SAT 2021, LNCS 12831, pp.270-279.
• Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian Zhang. Efficient testing of GUI applications by event sequence reduction. Science of Computer Programming, Vol. 201: 102522 (2021).
• Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang. Static asynchronous component misuse detection for Android applications. Proc. ESEC/SIGSOFT FSE 2020, pp.952-963.
• Pan Bian, Bin Liang, Jianjun Huang, Wenchang Shi, Xidong Wang, Jian Zhang. SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed. Proc. ESEC/SIGSOFT FSE 2020, pp.1101-1113.
• Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang. Learning the satisfiability of pseudo-Boolean problem with graph neural networks. Proc. CP 2020, pp.885-898.
• Jiwei Yan, Hao Liu, Linjie Pan, Jun Yan, Jian Zhang, Bin Liang. Multiple-entry testing of Android applications by constructing activity launching contexts. Proc. ICSE 2020, pp.457-468.

• Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang. Analyses for specific defects in android applications: a survey. Frontiers of Computer Science, 13(6): 1210-1227 (2019)
• Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang. SPrinter: A static checker for finding smart pointer errors in C++ programs. Proc. ASE 2019, pp.1122-1125.
• Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang. Solving the satisfiability problem of modal logic S5 guided by graph coloring. Proc. IJCAI 2019, pp.1093-1100.
• Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang. Approximating integer solution counting via space quantification for linear constraints. Proc. IJCAI 2019, pp.1697-1703.
• Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang. Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. Proc. ISSTA 2019, pp.394-397.
• Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang. Investigating the existence of orthogonal golf designs via satisfiability testing. Proc. ISSAC 2019, pp.203-210.
• Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang. Computing and estimating the volume of the solution space of SMT(LA) constraints. Theoretical Computer Science, Vol.743, pp.110-129 (2018).
• Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang. Fuzzing: State of the Art. IEEE Trans. on Reliability, 67(3): 1199-1218 (2018).
• Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian Zhang. Characterizing and identifying misexposed activities in Android applications. Proc. ASE 2018, pp.691-701.
• Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma. A new probabilistic algorithm for approximate model counting. Proc. IJCAR 2018, pp.312-328.
• Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang. Investigating the existence of large sets of idempotent quasigroups via satisfiability testing. Proc. IJCAR 2018, pp.354-369.
• Long Zhang, Lanfei Yan, Zhenyu Zhang, Jian Zhang, W. K. Chan, Zheng Zheng. A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization. Journal of Systems & Software, Vol.129, pp.35-57 (2017).
• Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. Proc. CP 2017, pp.405-413.
• Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang. InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-code for Android Applications. Proc. SANER 2017 (tool track): 502-506.
• 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.
• Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu. A deployable sampling strategy for data race detection. Proc. FSE 2016, pp.810-821.
• Jierui Liu, Tianyong Wu, Jun Yan and Jian Zhang. Fixing resource leaks in Android apps with light-weight static analysis and low-overhead instrumentation. Proc. ISSRE 2016, pp.342-352.
• 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. Proc. CP 2016, pp.650-665.
• Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, and Jian Zhang. Relda2: An effective static analysis tool for resource leak detection in Android apps. Proc. ASE 2016, pp.762-767.
• 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).
• 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, Vol.98, pp.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.
• 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.
• Feifei Ma, Jun Yan, Jian Zhang. Solving generalized optimization problems subject to SMT constraints. Proc. FAW/AAIM 2012, LNCS 7285, pp.247-258.
• Zhiqiang Zhang, Jian Zhang. Characterizing failure-causing parameter interactions by adaptive testing. Proc. ISSTA 2011, pp.331-341.
• 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.
• Jian Zhang. Constraint solving and symbolic execution. Proc. VSTTE 2005, LNCS 4171, pp.539-544, 2008.
• Sheng Liu, Jian Zhang, Binhai Zhu. Volume computation using a direct Monte Carlo method. Proc. COCOON 2007, LNCS 4598, pp.198-209.
• Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zhang. BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. Proc. ISSRE 2006, pp.75-84.
• Zhongxing Xu, Jian Zhang. A test data generation tool for unit testing of C programs. Proc. QSIC 2006, pp.107-116.
• Xiangxue Jia, Jian Zhang. A powerful technique to eliminate isomorphism in finite model search. Proc. IJCAR 2006, LNCS 4130, pp.318-331.
• Jian Zhang, Chen Xu, Xiaoliang Wang. Path-oriented test data generation using symbolic execution and constraint solving techniques. Proc. SEFM 2004, pp.242-250.
• Jian Zhang. Symbolic execution of program paths involving pointer and structure variables. Proc. QSIC 2004, pp.87-92.
• Jian Zhang, Chen Xu, S.-C. Cheung. Automated test case generation for the stress testing of multimedia systems. Software - Practice and Experience, 32(15): 1411-1435 (2002).
• Jian Zhang. A path-based approach to the detection of infinite looping. Proc. APAQS 2001, pp.88-94.
• Jian Zhang, Chen Xu, S.-C. Cheung. Automatic generation of database instances for white-box testing. Proc. COMPSAC 2001, pp.161-165.
• Jian Zhang, Xiaoxu Wang. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering and Knowledge Engineering, 11(2), pp.139-156.
• Jian Zhang. Specification analysis and test data generation by solving Boolean combinations of numeric constraints. Proc. APAQS 2000, pp.267-274.