Achievements

2023

• Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang. Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA 2023: 14–25. （ACM SIGSOFT Distinguished Paper）
• Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu. Detecting Exception Handling Bugs in C++ Programs. ICSE 2023: 1084-1095
• Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang. PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE 2023 NIER 
• Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang. Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. ASE 2023
• Baoquan Cui, MiaoMiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang. Detection of Java Basic Thread Misuses Based on Static Event Analysis. ASE 2023

2022

• Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang. Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI 2022: 10785-10793
• Jiwei Yan, Shixin Zhang, Yepang Liu, Xi Deng, Jun Yan, and Jian Zhang. A Comprehensive Evaluation of Android ICC Resolution Techniques. ASE 2022: 1–13
• Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang. ExcePy: A Python Benchmark for Bugs with Python Built-in Types. SANER 2022: 856-866
• Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang. ε-weakened robustness of deep neural networks. ISSTA 2022: 126-138
• Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang. ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications. ICSE-Companion 2022: 105-109

2021

• Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian Zhang. Efficient testing of GUI applications by event sequence reduction. Sci. Comput. Program. 201: 102522 (2021)
• Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu: Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE 2021: 880-891
• Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang. Dynamic Detection of AsyncTask Related Defects. QRS 2021: 357-366
• Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang. Are the Scala Checks Effective? Evaluating Checks with Real-world Projects. QRS 2021: 978-989
• Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT 2021: 270-279
• Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang. Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT 2021: 225-241
• Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT 2021: 270-279

2020

• Long Zhang, Zijie Li, Yang Feng, Zhenyu Zhang, Wing Kwong Chan, Jian Zhang, Yuming Zhou. Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness. IEEE Trans. Reliab. 69(3): 1021-1049 (2020)
• Xi Deng, Zhiqiang Zhang, Rundong Li, Jun Yan, Jian Zhang. Combinatorial Testing of Browsers' Support for Multimedia. IEEE Trans. Reliab. 69(4): 1323-1340 (2020)
• Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang. Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. CP 2020: 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. ICSE 2020: 457-468
• Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang. GTFuzz: Guard Token Directed Grey-Box Fuzzing. PRDC 2020: 160-170
• Zijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse. PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing. QRS 2020: 406-413
• Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang. Static asynchronous component misuse detection for Android applications. ESEC/SIGSOFT FSE 2020: 952-963

2019

• Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. accepted by IJCAI 2019.
• Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. accepted by IJCAI 2019.
• Pei Huang, Minghao Liu, Cunjun Ge, Feifei Ma, JianZhang. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. accepted by ISSAC 2019.
• Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang. DroidLeaks: a comprehensive database of resource leaks in Android apps. Empir. Softw. Eng. 24(6): 3435-3483 (2019)

• Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang. Analyses for specific defects in android applications: a survey. Frontiers Comput. Sci. 13(6): 1210-1227 (2019)

• Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu: On some matching problems under the color-spanning model. Theor. Comput. Sci. 786: 26-31 (2019)

• Chengcheng Lv, Long Zhang, Fanping Zeng, Jian Zhang. Adaptive Random Testing for XSS Vulnerability. APSEC 2019: 63-69

• 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. ISSTA 2019: 394-397

• Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang. SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. ASE 2019: 1122-1125
• Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang. Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. QRS 2019: 260-271

• Ping Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang. Understanding Ineffective Events and Reducing Test Sequences for Android Applications. TASE 2019: 264-272

2018

• Yan Hu, Jiwei Yan, Dong Yan, Qiong Lu, Jun Yan: Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 162:132-147, Sep. 2018. Extended version of TASE'16 Paper.
• Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan and Jian Zhang. Characterizing and Identifying Misexposed Activities in Android Applications. ASE 2018, 691-701.
• Cunjing Ge, Jiwei Yan, Jun Yan and Jian Zhang. Checking Activity Transition Systems with Back Transitions against Assertions. ICFEM 2018, accepted.
• Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang, Computing and estimating the volume of the solution space of SMT(LA) constraints. Theor. Comput. Sci. 743: 110-129 (2018)
• Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma, A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR 2018
• Cunjing Ge, Feifei Ma, Jian Zhang, VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR 2018
• Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang, Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR 2018: 354-369
• Minghao Liu, Feifei Ma, Jun Yan: A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KSEM 2018, LNCS 11062, 12-23.
• Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang. LAND: a user-friendly and customizable test generation tool for Android apps. ISSTA 2018 (tool demo): 360-363
• Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu and Jun Yan: Android Stack Machine. CAV 2018, 487-504.
• Ling Yang, Jun Yan, and Jian Zhang. Generating Minimal Test Set Satisfying MC/DC Criterion via SAT Based Approach. ACM SAC 2018, 1899-1906.
• Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu, On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. CoRR abs/1805.05448 (2018)

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.
• Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, A New Probabilistic Algorithm for Approximate Model Counting. CoRR abs/1706.03906 (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.
• Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan: Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM 2017: 192-208
• Linjie Pan, Jiwei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin and Jian Zhang. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. CP 2017, 2017 .[benchmark]
• Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu, On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FAW 2017: 13-21

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.
• Yan Hu, Jun Yan, Kim-Kwang Raymond Choo: PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment. Cluster Computing, 19(1):153–166. Mar. 2016. Extended version of AST'13 Paper.
•  Hai Liu, Feifei Ma, Jian Zhang.Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.  PRICAI 2016, 2016.
• Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang. Lightweight Method-Level Energy Consumption Estimation for Android Applications.  TASE2016, 2016.

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).
• Cunjing Ge, Feifei Ma. A Fast and Practical Method to Estimate Volumes of Convex Polytopes.  FAW 2015,2015.
• Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang.  SMT Solving for the Theory of Ordering Constraints. LCPC 2015,2015 .
• Jingjian Lin, Jun Yan, Jifeng Xuan: Automatic Detection of Parameter Shielding for Test Case Generation. SEKE 2015: 571-574

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.
• Feifei Ma and Jian Zhang. Finding Orthogonal Latin Squares Using Finite Model Searching Tools. SCIENCE CHINA Information Sciences, 56(3): 1-9 (2013).
• Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin: Choreography Scenario-Based Test Data Generation. TASE 2014: 70-73
• Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng: A Search Strategy Guided by Uncovered Branches for Concolic Testing. QSIC 2013: 21-24
• Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang. Towards Conformance Testing of Choreography Based on Scenario. TASE 2013: 59-62

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.
• Ji-Wei Jin, Feifei Ma, Jian Zhang. Integrating Standard Dependency Schemes in QCSP Solvers.  J. Comput. Sci. Technol 27(1),2012.
• Feifei Ma, Jun Yan, Jian Zhang.  Solving Generalized Optimization Problems Subject to SMT Constraints.FAW-AAIM 2012, 2012.
• Xiaohui Ji, Feifei Ma. An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. WETICE 2012,2012

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.

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. Constraint solving techniques for software testing and analysis. ICSE (2) 2010,2010
• Jifeng Xuan, He Jiang, Zhilei Ren, Jun Yan, Zhongxuan Luo: Automatic Bug Triage using Semi-Supervised Text Classification. SEKE 2010: 209-214

2000-2009

• Feifei Ma, Sheng Liu, Jian Zhang. Volume computation for Boolean combination of linear arithmetic constraints. Proc. CADE-22, LNCS 5663, pp.453-468, 2009.
• Xiaohui Ji, Feifei Ma, Jian Zhang.  Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. ACIS-ICIS 2009,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.
• Yuxiang Shi, Jun Yan, Zhongjie Li and Jun Zhu. Path-Based Verification for Composition of Semantic Web Services. In Proc. 23rd Annual ACM Symp. on Applied Computing (SAC'08), pp. 2392-2396, 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, and Zhongxing Xu. Finding Relations Among Linear Constraints. In Proc. 8th Int'l Conf. on Artificial Intelligence and Symbolic Computation (AISC'06), LNAI 4120, pp. 226-240. Springer-Verlag, 2006.
• Zhongxing Xu, Jian Zhang. A test data generation tool for unit testing of C programs. Proc. QSIC 2006, pp.107-116.
• Jun Yan, Zhongjie Li, Yuan Yuan, Wei Sun and Jian Zhang. BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. In Proc. 17th IEEE Int'l Symp. on Software Reliability Engineering (ISSRE'06). pp.75-84.
• Jun Yan, Jian Zhang, Zhongxing Xu. Finding relations among linear constraints. Proc. AISC 2006, LNCS 4120, pp.226-240.
• Jun Yan and Jian Zhang. SAT Based Automated Test Case Generation for MUMCUT Coverage. In Supplymentary Proceedings of ISSRE'06 (Student Paper).
• Jun Yan and Jian Zhang. Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. In Proc. 30th IEEE Annual Int'l Computer Software and Applications Conf. (COMPSAC'06). pp. 385-392.
• Jian Zhang, Computer Search for Counterexamples to Wilkie's Identity. CADE 2005: 441-451
• Xiangxue Jia, Jian Zhang, Predicate-Oriented Isomorphism Elimination in Model Finding. IJCAI 2005: 1525-1516
• Jian Zhang, Constraint Solving and Symbolic Execution. VSTTE 2005: 539-544
• Jian Zhang, Hantao Zhang, Extending Finite Model Searching with Congruence Closure Computation. AISC 2004: 94-102
• Jian Zhang, Symbolic Execution of Program Paths Involving Pointer and Structure Variables. QSIC 2004: 87-92
• Zhuo Huang, Hantao Zhang, Jian Zhang, Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. SAT 2004
• Jian Zhang, S. C. Cheung, Automated test case generation for the stress testing of multimedia systems. Softw., Pract. Exper. 32(15): 1411-1435 (2002)
• Wenhui Zhang, Zhuo Huang, Jian Zhang, Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI 2002: 108-117
• Jian Zhang, A Path-Based Approach to the Detection of Infinite Looping. APAQS 2001: 88-96
• Jian Zhang, Chen Xu, S. C. Cheung, Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165
• Jian Zhang, Automatic symmetry breaking method combined with SAT. SAC 2001: 17-21
• Jian Zhang, Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints. APAQS 2000: 267-274

1990-1999

• Jian Zhang, System Description: MCS: Model-based Conjecture Searching. CADE 1999: 393-397
• Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson, Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133
• Jian Zhang, Finite Model Generation and Formal Specification Development. TOOLS (24) 1997: 350-355
• Jian Zhang, Constructing Finite Algebras with FALCON. J. Autom. Reasoning 17(1): 1-22 (1996)
• Jian Zhang, Hantao Zhang, Combining Local Search and Backtracking Techniques for Constraint Satisfaction. AAAI/IAAI, Vol. 1 1996: 369-374
• Jian Zhang, Hantao Zhang, System Description: Generating Models by SEM. CADE 1996: 308-312
• Jian Zhang, Hantao Zhang, Constraint Propagation in Model Generation. CP 1995: 398-414
• Jian Zhang, Hantao Zhang, SEM: a System for Enumerating Models. IJCAI 1995: 298-303
• Jian Zhang, Problems on the Generation of Finite Models. CADE 1994: 753-757