Jian Zhang - RankMe

179 papers A* 27A 37B 6C 14Misc 13Journal 48Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AllDiff-LS: solving alldifferent constraints with efficient local search. Frontiers Comput. Sci. Rui Han, Minghao Liu, Yuhang Dong, Fuqi Jia, Yiyuan Wang, Feifei Ma, Minghao Yin, Jian Zhang
2026	J	`jnl`	FuncDroid: Towards Inter-Functional Flows for Comprehensive Mobile App GUI Testing. CoRR Jinlong He, Changwei Xia, Binru Huang, Jiwei Yan, Jun Yan, Jian Zhang
2026	A*	`conf`	LLM-Guided Quantified SMT Solving over Uninterpreted Functions. AAAI Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, Jian Zhang
2026	J	`jnl`	LLM-Guided Quantified SMT Solving over Uninterpreted Functions. CoRR Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, Jian Zhang
2025	A*	`conf`	A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. AAAI Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
2025	J	`jnl`	A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard. CoRR Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2025	A	`conf`	An Efficient Android App Debloating Approach Based on Multi-Layer Dependence Graph. ICSME Hengqin Yang, Jiwei Yan, Jun Yan, Bin Liang, Jian Zhang
2025	J	`jnl`	An Empirical Study: MEMS as a Static Performance Metric. CoRR Liwei Zhang, Baoquan Cui, Xutong Ma, Jian Zhang
2025	C	`conf`	An Empirical Study: Mems as a Static Performance Metric. QRS Liwei Zhang, Baoquan Cui, Xutong Ma, Jian Zhang
2025	—	`conf`	CCTest: Critical Configuration Testing for Autonomous Driving Systems. SIGSOFT FSE Companion Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2025	J	`jnl`	Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code. CoRR Shuo Sun, Shixin Zhang, Jiwei Yan, Jun Yan, Jian Zhang
2025	A*	`conf`	ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming. EMNLP Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang
2025	J	`jnl`	ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming. CoRR Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang
2025	—	`conf`	Message from Cloud Intelligence / AIOps Workshop 2025 Chairs. AIOps Jian Zhang, Qingwei Lin, Xin Peng
2025	—	`conf`	Research on Dynamic Resource Supply Strategy of Hard Shoulder of Expressway Based on Reinforcement Learning. ITSC Xuejian Yao, Jian Zhang, Bo Wang, Yu Qian, Maoze Wang
2025	J	`jnl`	Summary Report of the 6th Cloud Intelligence / AIOps Workshop 2025. ACM SIGSOFT Softw. Eng. Notes Jian Zhang, Qingwei Lin, Xin Peng
2025	J	`jnl`	Testing Autonomous Driving Systems - What Really Matters and What Doesn't. CoRR Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2024	J	`jnl`	Augmenting LLMs to Repair Obsolete Test Cases with Static Collector and Neural Reranker. CoRR Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian Zhang
2024	J	`jnl`	Automatically Write Code Checker: An LLM-based Approach with Logic-guided API Retrieval and Case by Case Iteration. CoRR Yuanyuan Xie, Jun Liu, Jiwei Yan, Jinhao Huang, Jun Yan, Jian Zhang
2024	J	`jnl`	Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization. CoRR Jiwei Yan, Jinhao Huang, Chunrong Fang, Jun Yan, Jian Zhang
2024	A	`conf`	DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates. ISSTA Baoquan Cui, Jiwei Yan, Jian Zhang
2024	A	`conf`	Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker. ISSRE Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian Zhang
2024	A	`conf`	Panda: A Concurrent Scheduler for Compiler-Based Tools. ISSTA Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang
2024	A*	`conf`	Reorder Pointer Flow in Sound Concurrency Bug Prediction. ICSE Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, Jian Zhang
2024	J	`jnl`	Rigorous Simulation-based Testing for Autonomous Driving Systems - Targeting the Achilles' Heel of Four Open Autopilots. CoRR Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2024	A	`conf`	SICode: Embedding-Based Subgraph Isomorphism Identification for Bug Detection. ICPC Yuanjun Gong, Jianglei Nie, Wei You, Wenchang Shi, Jianjun Huang, Bin Liang, Jian Zhang
2023	A*	`conf`	Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2023	A*	`conf`	Detecting Exception Handling Bugs in C++ Programs. ICSE Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu
2023	A*	`conf`	Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. ASE Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang
2023	A*	`conf`	Detection of Java Basic Thread Misuses Based on Static Event Analysis. ASE Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang
2023	J	`jnl`	Extracting Cloud-based Model with Prior Knowledge. CoRR Shiqian Zhao, Kangjie Chen, Meng Hao, Jian Zhang, Guowen Xu, Hongwei Li, Tianwei Zhang
2023	A	`conf`	Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
2023	—	`conf`	Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
2023	A*	`conf`	NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. ASE Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang
2023	A*	`conf`	Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers. ICSE Suyue Guo, Xinyu Wan, Wei You, Bin Liang, Wenchang Shi, Yiwei Zhang, Jianjun Huang, Jian Zhang
2023	A*	`conf`	PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
2023	—	`conf`	Quantifying Robustness to Adversarial Word Substitutions. ECML/PKDD (1) Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li
2023	C	`conf`	Scope-based Compiler Differential Testing. QRS Rong Qu, Jiangang Huang, Long Zhang, Tianlu Qiao, Jian Zhang
2023	A	`conf`	Simulation-Based Validation for Autonomous Driving Systems. ISSTA Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2023	J	`jnl`	Simulation-based Validation for Autonomous Driving Systems. CoRR Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2023	A*	`conf`	Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
2023	J	`jnl`	Variable-strength combinatorial testing of exported activities based on misexposure prediction. J. Syst. Softw. Xi Deng, Jiwei Yan, Shixin Zhang, Jun Yan, Jian Zhang
2023	A*	`conf`	ViolationTracker: Building Precise Histories for Static Analysis Violations. ICSE Ping Yu, Yijian Wu, Xin Peng, Jiahan Peng, Jian Zhang, Peicheng Xie, Wenyun Zhao
2022	A*	`conf`	A Comprehensive Evaluation of Android ICC Resolution Techniques. ASE Jiwei Yan, Shixin Zhang, Yepang Liu, Xi Deng, Jun Yan, Jian Zhang
2022	J	`jnl`	A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
2022	A	`conf`	ExcePy: A Python Benchmark for Bugs with Python Built-in Types. SANER Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang
2022	A	`conf`	Hunting bugs with accelerated optimal graph vertex matching. ISSTA Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, Jian Zhang
2022	—	`conf`	ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications. ICSE-Companion Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang
2022	J	`jnl`	Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures. CoRR Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang
2022	J	`jnl`	Quantifying Robustness to Adversarial Word Substitutions. CoRR Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li
2022	A	`conf`	String Test Data Generation for Java Programs. ISSRE Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan, Jian Zhang
2022	A*	`conf`	Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
2022	A	`conf`	ε-weakened robustness of deep neural networks. ISSTA Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
2021	C	`conf`	Are the Scala Checks Effective? Evaluating Checks with Real-world Projects. QRS Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang
2021	J	`jnl`	Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2021	A*	`conf`	Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu
2021	C	`conf`	Dynamic Detection of AsyncTask Related Defects. QRS Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang
2021	A	`conf`	Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
2021	J	`jnl`	Efficient testing of GUI applications by event sequence reduction. Sci. Comput. Program. Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian Zhang
2021	A	`conf`	Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang
2021	A	`conf`	Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang
2021	J	`jnl`	Towards Practical Evaluation of Android ICC Resolution Techniques. CoRR Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang
2021	J	`jnl`	ε-weakened Robustness of Deep Neural Networks. CoRR Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
2020	J	`jnl`	Combinatorial Testing of Browsers' Support for Multimedia. IEEE Trans. Reliab. Xi Deng, Zhiqiang Zhang, Rundong Li, Jun Yan, Jian Zhang
2020	J	`jnl`	Counting the Number of Solutions to Constraints. CoRR Jian Zhang, Cunjing Ge, Feifei Ma
2020	C	`conf`	GTFuzz: Guard Token Directed Grey-Box Fuzzing. PRDC Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang
2020	J	`jnl`	Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness. IEEE Trans. Reliab. Long Zhang, Zijie Li, Yang Feng, Zhenyu Zhang, Wing Kwong Chan, Jian Zhang, Yuming Zhou
2020	A	`conf`	Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. CP Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
2020	A*	`conf`	Multiple-entry testing of Android applications by constructing activity launching contexts. ICSE Jiwei Yan, Hao Liu, Linjie Pan, Jun Yan, Jian Zhang, Bin Liang
2020	C	`conf`	PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing. QRS Zijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse
2020	—	`conf`	SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed. ESEC/SIGSOFT FSE Pan Bian, Bin Liang, Jianjun Huang, Wenchang Shi, Xidong Wang, Jian Zhang
2020	—	`conf`	Static asynchronous component misuse detection for Android applications. ESEC/SIGSOFT FSE Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang
2019	C	`conf`	Adaptive Random Testing for XSS Vulnerability. APSEC Chengcheng Lv, Long Zhang, Fanping Zeng, Jian Zhang
2019	J	`jnl`	Analyses for specific defects in android applications: a survey. Frontiers Comput. Sci. Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang
2019	A	`conf`	Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. ISSTA Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang
2019	A*	`conf`	Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
2019	J	`jnl`	DroidLeaks: a comprehensive database of resource leaks in Android apps. Empir. Softw. Eng. Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang
2019	B	`conf`	Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
2019	J	`jnl`	On some matching problems under the color-spanning model. Theor. Comput. Sci. Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu
2019	C	`conf`	Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. QRS Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang
2019	A*	`conf`	SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. ASE Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang
2019	A*	`conf`	Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
2019	Misc	`conf`	Understanding Ineffective Events and Reducing Test Sequences for Android Applications. TASE Ping Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang
2018	—	`conf`	A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
2018	A	`conf`	A New Probabilistic Algorithm for Approximate Model Counting. IJCAR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
2018	A*	`conf`	Characterizing and identifying misexposed activities in Android applications. ASE Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian Zhang
2018	C	`conf`	Checking Activity Transition Systems with Back Transitions Against Assertions. ICFEM Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang
2018	J	`jnl`	Computing and estimating the volume of the solution space of SMT(LA) constraints. Theor. Comput. Sci. Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang
2018	J	`jnl`	Fuzzing: State of the Art. IEEE Trans. Reliab. Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang
2018	Misc	`conf`	Generating minimal test set satisfying MC/DC criterion via SAT based approach. SAC Ling Yang, Jun Yan, Jian Zhang
2018	A	`conf`	Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
2018	A	`conf`	LAND: a user-friendly and customizable test generation tool for Android apps. ISSTA Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang
2018	J	`jnl`	On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. CoRR Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu
2018	—	`conf`	VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR Cunjing Ge, Feifei Ma, Jian Zhang
2017	J	`jnl`	A New Probabilistic Algorithm for Approximate Model Counting. CoRR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang
2017	J	`jnl`	A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization. J. Syst. Softw. Long Zhang, Lanfei Yan, Zhenyu Zhang, Jian Zhang, W. K. Chan, Zheng Zheng
2017	—	`conf`	Combinatorial Testing on Implementations of HTML5 Support. ICST Workshops Xi Deng, Tianyong Wu, Jun Yan, Jian Zhang
2017	—	`conf`	Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. COMPSAC (1) Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang
2017	C	`conf`	Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
2017	A	`conf`	InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications. SANER Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang
2017	A	`conf`	Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. CP Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang
2017	Misc	`conf`	On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FAW Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu
2017	J	`jnl`	Weak QMV algebras and some ring-like structures. Soft Comput. Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma
2017	C	`conf`	Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. QRS Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang
2016	A	`conf`	Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation. ISSRE Jierui Liu, Tianyong Wu, Jun Yan, Jian Zhang
2016	B	`conf`	Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI Hai Liu, Feifei Ma, Jian Zhang
2016	J	`jnl`	Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps. IEEE Trans. Software Eng. Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan, Jian Zhang
2016	A	`conf`	Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. CP Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang
2016	A*	`conf`	Relda2: an effective static analysis tool for resource leak detection in Android apps. ASE Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, Jian Zhang
2016	J	`jnl`	Target Directed Event Sequence Generation for Android Applications. CoRR Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang
2016	C	`conf`	The Floating-Point Extension of Symbolic Execution Engine for Bug Detection. APSEC Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian Zhang
2015	J	`jnl`	A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). CoRR Cunjing Ge, Feifei Ma, Jian Zhang
2015	A	`conf`	Boundary value analysis in automatic white-box test generation. ISSRE Zhiqiang Zhang, Tianyong Wu, Jian Zhang
2015	—	`conf`	SMT Solving for the Theory of Ordering Constraints. LCPC Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
2015	B	`conf`	Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. FM Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
2014	J	`jnl`	A Fast and Practical Method to Estimate Volumes of Convex Polytopes. CoRR Cunjing Ge, Feifei Ma, Jian Zhang
2014	—	`book`	Automatic Generation of Combinatorial Test Data Jian Zhang, Zhiqiang Zhang, Feifei Ma
2014	—	`conf`	Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE Tianyong Wu, Jun Yan, Jian Zhang
2014	Misc	`conf`	Choreography Scenario-Based Test Data Generation. TASE Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin
2014	J	`jnl`	Generating combinatorial test suite using combinatorial optimization. J. Syst. Softw. Zhiqiang Zhang, Jun Yan, Yong Zhao, Jian Zhang
2013	—	`conf`	A Search Strategy Guided by Uncovered Branches for Concolic Testing. QSIC Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng
2013	—	`conf`	Cascade: A Test Generation Tool for Combinatorial Testing. ICST Workshops Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang
2013	A*	`conf`	Characterizing and detecting resource leaks in Android applications. ASE Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang
2013	J	`jnl`	Finding orthogonal latin squares using finite model searching tools. Sci. China Inf. Sci. Feifei Ma, Jian Zhang
2013	—	`conf`	MACE4 and SEM: A Comparison of Finite Model Generators. Automated Reasoning and Mathematics Hantao Zhang, Jian Zhang
2013	—	`conf`	Performance Estimation Using Symbolic Data. Theories of Programming and Formal Methods Jian Zhang
2013	—	`conf`	Profile directed systematic testing of concurrent programs. AST@ICSE Yan Hu, Jun Yan, Jian Zhang, He Jiang
2013	Misc	`conf`	Towards Conformance Testing of Choreography Based on Scenario. TASE Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang
2012	Misc	`conf`	A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. TASE Tianyong Wu, Jun Yan, Jian Zhang
2012	A	`conf`	Combinatorial Testing on ID3v2 Tags of MP3 Files. ICST Zhiqiang Zhang, Xiaojian Liu, Jian Zhang
2012	A	`conf`	Faulty Interaction Identification via Constraint Solving and Optimization. SAT Jian Zhang, Feifei Ma, Zhiqiang Zhang
2012	J	`jnl`	Integrating Standard Dependency Schemes in QCSP Solvers. J. Comput. Sci. Technol. Ji-Wei Jin, Feifei Ma, Jian Zhang
2012	—	`conf`	Solving Generalized Optimization Problems Subject to SMT Constraints. FAW-AAIM Feifei Ma, Jun Yan, Jian Zhang
2011	A	`conf`	Characterizing failure-causing parameter interactions by adaptive testing. ISSTA Zhiqiang Zhang, Jian Zhang
2011	A*	`conf`	Program analysis: from qualitative analysis to quantitative analysis. ICSE Sheng Liu, Jian Zhang
2011	A	`conf`	Searching for Doubly Self-orthogonal Latin Squares. CP Runming Lu, Sheng Liu, Jian Zhang
2011	A*	`conf`	Tuple density: a new metric for combinatorial test suites. ICSE Baiqiang Chen, Jian Zhang
2010	C	`conf`	Combinatorial Testing with Shielding Parameters. APSEC Baiqiang Chen, Jun Yan, Jian Zhang
2010	Misc	`conf`	Local lemma: a new strategy of pruning in SAT solvers. SAC Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang
2009	—	`conf`	Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. ACIS-ICIS Xiaohui Ji, Feifei Ma, Jian Zhang
2009	A	`conf`	Volume Computation for Boolean Combination of Linear Arithmetic Constraints. CADE Feifei Ma, Sheng Liu, Jian Zhang
2008	J	`jnl`	A backtracking search tool for constructing combinatorial test suites. J. Syst. Softw. Jun Yan, Jian Zhang
2008	J	`jnl`	An efficient method to generate feasible paths for basis path testing. Inf. Process. Lett. Jun Yan, Jian Zhang
2008	J	`jnl`	Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu
2008	—	`conf`	Checking Inconsistency of Rule Sets in Active Real-Time Databases. HASE Jian Zhang
2008	B	`conf`	Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. PRICAI Feifei Ma, Jian Zhang
2008	—	`conf`	Path and Context Sensitive Inter-procedural Memory Leak Detection. QSIC Zhongxing Xu, Jian Zhang
2008	Misc	`conf`	Test Data Generation for C Programs with String-Handling Functions. TASE Hui Ruan, Jian Zhang, Jun Yan
2007	—	`conf`	Computer Search for Large Sets of Idempotent Quasigroups. ASCM Feifei Ma, Jian Zhang
2007	Misc	`conf`	Volume Computation Using a Direct Monte Carlo Method. COCOON Sheng Liu, Jian Zhang, Binhai Zhu
2006	A	`conf`	A Powerful Technique to Eliminate Isomorphism in Finite Model Search. IJCAR Xiangxue Jia, Jian Zhang
2006	—	`conf`	A Test Data Generation Tool for Unit Testing of C Programs. QSIC Zhongxing Xu, Jian Zhang
2006	A	`conf`	BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. ISSRE Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zhang
2006	—	`conf`	Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. COMPSAC (1) Jun Yan, Jian Zhang
2006	Misc	`conf`	Finding Relations Among Linear Constraints. AISC Jun Yan, Jian Zhang, Zhongxing Xu
2006	—	`conf`	Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem. Web Intelligence Sheng Liu, Jian Zhang
2006	Misc	`conf`	Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. AISC Sheng Liu, Jian Zhang
2005	A	`conf`	Computer Search for Counterexamples to Wilkie's Identity. CADE Jian Zhang
2005	—	`conf`	Constraint Solving and Symbolic Execution. VSTTE Jian Zhang
2005	A*	`conf`	Predicate-Oriented Isomorphism Elimination in Model Finding. IJCAI Xiangxue Jia, Jian Zhang
2004	Misc	`conf`	Extending Finite Model Searching with Congruence Closure Computation. AISC Jian Zhang, Hantao Zhang
2004	A	`conf`	Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. SAT Zhuo Huang, Hantao Zhang, Jian Zhang
2004	—	`conf`	Symbolic Execution of Program Paths Involving Pointer and Structure Variables. QSIC Jian Zhang
2002	J	`jnl`	Automated test case generation for the stress testing of multimedia systems. Softw. Pract. Exp. Jian Zhang, Shing-Chi Cheung
2002	B	`conf`	Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI Wenhui Zhang, Zhuo Huang, Jian Zhang
2001	—	`conf`	A Path-Based Approach to the Detection of Infinite Looping. APAQS Jian Zhang
2001	B	`conf`	Automatic Generation of Database Instances for White-box Testing. COMPSAC Jian Zhang, Chen Xu, Shing-Chi Cheung
2001	Misc	`conf`	Automatic symmetry breaking method combined with SAT. SAC Jian Zhang
2000	—	`conf`	Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints. APAQS Jian Zhang
1999	C	`conf`	Stress Testing of Distributed Multimedia Software Systems. FORTE Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson
1999	A	`conf`	System Description: MCS: Model-based Conjecture Searching. CADE Jian Zhang
1997	—	`conf`	Finite Model Generation and Formal Specification Development. TOOLS (24) Jian Zhang
1996	—	`conf`	Combining Local Search and Backtracking Techniques for Constraint Satisfaction. AAAI/IAAI, Vol. 1 Jian Zhang, Hantao Zhang
1996	J	`jnl`	Constructing Finite Algebras with FALCON. J. Autom. Reason. Jian Zhang
1996	A	`conf`	System Description: Generating Models by SEM. CADE Jian Zhang, Hantao Zhang
1995	J	`jnl`	Automatic construction of finite algebras. J. Comput. Sci. Technol. Jian Zhang
1995	A	`conf`	Constraint Propagation in Model Generation. CP Jian Zhang, Hantao Zhang
1995	A*	`conf`	SEM: a System for Enumerating Models. IJCAI Jian Zhang, Hantao Zhang
1994	A	`conf`	Problems on the Generation of Finite Models. CADE Jian Zhang