Jian Zhang

According to our database, Jian Zhang authored at least 180 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Historical Embedding-Guided Efficient Large-Scale Federated Graph Learning.

Anran Li, Yuanyuan Chen, Jian Zhang, Mingfei Cheng, Yihao Huang, Yueming Wu, Anh Tuan Luu, Han Yu

Proc. ACM Manag. Data, 2024

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization.

Jiwei Yan, Jinhao Huang, Chunrong Fang, Jun Yan, Jian Zhang

CoRR, 2024

Augmenting LLMs to Repair Obsolete Test Cases with Static Collector and Neural Reranker.

Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian Zhang

CoRR, 2024

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference.

Chong Wang, Jian Zhang, Yiling Lou, Mingwei Liu, Weisong Sun, Yang Liu, Xin Peng

CoRR, 2024

How and Why LLMs Use Deprecated APIs in Code Completion? An Empirical Study.

Chong Wang, Kaifeng Huang, Jian Zhang, Yebo Feng, Lyuye Zhang, Yang Liu, Xin Peng

CoRR, 2024

Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs.

Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Geguang Pu, Yang Liu

CoRR, 2024

An Empirical Study of Automated Vulnerability Localization with Large Language Models.

Jian Zhang, Chong Wang, Anran Li, Weisong Sun, Cen Zhang, Wei Ma, Yang Liu

CoRR, 2024

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications.

Wei Ma, Daoyuan Wu, Yuqiang Sun, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu

CoRR, 2024

FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools.

Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu

CoRR, 2024

Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation.

Chong Wang, Jian Zhang, Yebo Feng, Tianlin Li, Weisong Sun, Yang Liu, Xin Peng

CoRR, 2024

SICode: Embedding-Based Subgraph Isomorphism Identification for Bug Detection.

Yuanjun Gong, Jianglei Nie, Wei You, Wenchang Shi, Jianjun Huang, Bin Liang, Jian Zhang

Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension, 2024

Panda: A Concurrent Scheduler for Compiler-Based Tools.

Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates.

Baoquan Cui, Jiwei Yan, Jian Zhang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software.

Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker.

Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian Zhang

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

An Empirical Study on Noisy Label Learning for Program Understanding.

Wenhan Wang, Yanzhou Li, Anran Li, Jian Zhang, Wei Ma, Yang Liu

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness.

Tianlin Li, Yue Cao, Jian Zhang, Shiqian Zhao, Yihao Huang, Aishan Liu, Qing Guo, Yang Liu

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Reorder Pointer Flow in Sound Concurrency Bug Prediction.

Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, Jian Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

BadEdit: Backdooring Large Language Models by Model Editing.

Yanzhou Li, Tianlin Li, Kangjie Chen, Jian Zhang, Shangqing Liu, Wenhan Wang, Tianwei Zhang, Yang Liu

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Variable-strength combinatorial testing of exported activities based on misexposure prediction.

Xi Deng, Jiwei Yan, Shixin Zhang, Jun Yan, Jian Zhang

J. Syst. Softw., October, 2023

A Prompt Learning Framework for Source Code Summarization.

Weisong Sun, Chunrong Fang, Yudu You, Yuchen Chen, Yi Liu, Chong Wang, Jian Zhang, Quanjun Zhang, Hanwei Qian, Wei Zhao, Yang Liu, Zhenyu Chen

CoRR, 2023

An Empirical Study on the Effectiveness of Noisy Label Learning for Program Understanding.

Wenhan Wang, Yanzhou Li, Anran Li, Jian Zhang, Wei Ma, Yang Liu

CoRR, 2023

Extracting Cloud-based Model with Prior Knowledge.

Shiqian Zhao, Kangjie Chen, Meng Hao, Jian Zhang, Guowen Xu, Hongwei Li, Tianwei Zhang

CoRR, 2023

Scope-based Compiler Differential Testing.

Rong Qu, Jiangang Huang, Long Zhang, Tianlu Qiao, Jian Zhang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Investigating the Existence of Holey Latin Squares via Satisfiability Testing.

Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

Quantifying Robustness to Adversarial Word Substitutions.

Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li

Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.

Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Learning to Locate and Describe Vulnerabilities.

Jian Zhang, Shangqing Liu, Xu Wang, Tianlin Li, Yang Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count.

Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.

Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.

Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair.

Kai Huang, Xiangxin Meng, Jian Zhang, Yang Liu, Wenjie Wang, Shuhao Li, Yuqing Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Detection of Java Basic Thread Misuses Based on Static Event Analysis.

Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Detecting Condition-Related Bugs with Control Flow Graph Neural Network.

Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu, Yang Liu

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Improving Bit-Blasting for Nonlinear Integer Constraints.

Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Detecting Exception Handling Bugs in C++ Programs.

Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

ViolationTracker: Building Precise Histories for Static Analysis Violations.

Ping Yu, Yijian Wu, Xin Peng, Jiahan Peng, Jian Zhang, Peicheng Xie, Wenyun Zhao

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers.

Suyue Guo, Xinyu Wan, Wei You, Bin Liang, Wenchang Shi, Yiwei Zhang, Jianjun Huang, Jian Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract).

Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures.

Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang

CoRR, 2022

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement.

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang

CoRR, 2022

Quantifying Robustness to Adversarial Word Substitutions.

Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li

CoRR, 2022

ExcePy: A Python Benchmark for Bugs with Python Built-in Types.

Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang

Proceedings of the IEEE International Conference on Software Analysis, 2022

A Comprehensive Evaluation of Android ICC Resolution Techniques.

Jiwei Yan, Shixin Zhang, Yepang Liu, Xi Deng, Jun Yan, Jian Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Hunting bugs with accelerated optimal graph vertex matching.

Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, Jian Zhang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

ε-weakened robustness of deep neural networks.

Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

String Test Data Generation for Java Programs.

Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications.

Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Word Level Robustness Enhancement: Fight Perturbation with Perturbation.

Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Efficient testing of GUI applications by event sequence reduction.

Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian Zhang

Sci. Comput. Program., 2021

On the Capacity of MISO Optical Intensity Channels With Per-Antenna Intensity Constraints.

Ru-Han Chen, Longguang Li, Jian Zhang, Wenyi Zhang, Jing Zhou

CoRR, 2021

Can Graph Neural Networks Learn to Solve MaxSAT Problem?

Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

CoRR, 2021

Towards Practical Evaluation of Android ICC Resolution Techniques.

Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang

CoRR, 2021

Investigating the Existence of Costas Latin Squares via Satisfiability Testing.

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.

Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Are the Scala Checks Effective? Evaluating Checks with Real-world Projects.

Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Dynamic Detection of AsyncTask Related Defects.

Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.

Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper).

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness.

Long Zhang, Zijie Li, Yang Feng, Zhenyu Zhang, Wing Kwong Chan, Jian Zhang, Yuming Zhou

IEEE Trans. Reliab., 2020

Combinatorial Testing of Browsers' Support for Multimedia.

Xi Deng, Zhiqiang Zhang, Rundong Li, Jun Yan, Jian Zhang

IEEE Trans. Reliab., 2020

Counting the Number of Solutions to Constraints.

Jian Zhang, Cunjing Ge, Feifei Ma

CoRR, 2020

Static asynchronous component misuse detection for Android applications.

Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed.

Pan Bian, Bin Liang, Jianjun Huang, Wenchang Shi, Xidong Wang, Jian Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.

Zijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

GTFuzz: Guard Token Directed Grey-Box Fuzzing.

Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Learning to Handle Exceptions.

Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Yanjun Pu, Xudong Liu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Retrieval-based neural source code summarization.

Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Multiple-entry testing of Android applications by constructing activity launching contexts.

Jiwei Yan, Hao Liu, Linjie Pan, Jun Yan, Jian Zhang, Bin Liang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.

Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

On some matching problems under the color-spanning model.

Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu

Theor. Comput. Sci., 2019

Analyses for specific defects in android applications: a survey.

Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang

Frontiers Comput. Sci., 2019

DroidLeaks: a comprehensive database of resource leaks in Android apps.

Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang

Empir. Softw. Eng., 2019

Understanding Ineffective Events and Reducing Test Sequences for Android Applications.

Ping Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.

Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs.

Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.

Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.

Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Learning Semantic Coherence for Machine Generated Spam Text Detection.

Mengjiao Bao, Jianxin Li, Jian Zhang, Hao Peng, Xudong Liu

Proceedings of the International Joint Conference on Neural Networks, 2019

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring.

Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A novel neural source code representation based on abstract syntax tree.

Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Kaixuan Wang, Xudong Liu

Proceedings of the 41st International Conference on Software Engineering, 2019

Adaptive Random Testing for XSS Vulnerability.

Chengcheng Lv, Long Zhang, Fanping Zeng, Jian Zhang

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Fuzzing: State of the Art.

Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang

IEEE Trans. Reliab., 2018

Computing and estimating the volume of the solution space of SMT(LA) constraints.

Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang

Theor. Comput. Sci., 2018

Generating minimal test set satisfying MC/DC criterion via SAT based approach.

Ling Yang, Jun Yan, Jian Zhang

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Characterizing and identifying misexposed activities in Android applications.

Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian Zhang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

LAND: a user-friendly and customizable test generation tool for Android apps.

Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Semantically enhanced tag recommendation for software CQAs via deep learning.

Jian Zhang, Hailong Sun, Yanfei Tian, Xudong Liu

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Checking Activity Transition Systems with Back Transitions Against Assertions.

Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the Formal Methods and Software Engineering, 2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.

Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma

Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018

VolCE: An Efficient Tool for Solving #SMT(LA) Problems.

Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018

2017

Weak QMV algebras and some ring-like structures.

Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma

Soft Comput., 2017

A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization.

Long Zhang, Lanfei Yan, Zhenyu Zhang, Jian Zhang, W. K. Chan, Zheng Zheng

J. Syst. Softw., 2017

A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang

CoRR, 2017

InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications.

Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps.

Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Combinatorial Testing on Implementations of HTML5 Support.

Xi Deng, Tianyong Wu, Jun Yan, Jian Zhang

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Detecting Energy Bugs in Android Apps Using Static Analysis.

Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan

Proceedings of the Formal Methods and Software Engineering, 2017

On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.

Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu

Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017

Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.

Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2017

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.

Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps.

Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan, Jian Zhang

IEEE Trans. Software Eng., 2016

Target Directed Event Sequence Generation for Android Applications.

Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang

CoRR, 2016

Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.

Hai Liu, Feifei Ma, Jian Zhang

Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Relda2: an effective static analysis tool for resource leak detection in Android apps.

Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, Jian Zhang

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation.

Jierui Liu, Tianyong Wu, Jun Yan, Jian Zhang

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.

Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2016

The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.

Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian Zhang

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).

Cunjing Ge, Feifei Ma, Jian Zhang

CoRR, 2015

SMT Solving for the Theory of Ordering Constraints.

Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang

Proceedings of the Languages and Compilers for Parallel Computing, 2015

Boundary value analysis in automatic white-box test generation.

Zhiqiang Zhang, Tianyong Wu, Jian Zhang

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.

Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang

Proceedings of the FM 2015: Formal Methods, 2015

Absent Multiple Kernel Learning.

Xinwang Liu, Lei Wang, Jianping Yin, Yong Dou, Jian Zhang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Automatic Generation of Combinatorial Test Data

Jian Zhang, Zhiqiang Zhang, Feifei Ma

Springer Briefs in Computer Science, Springer, ISBN: 978-3-662-43429-1, 2014

Generating combinatorial test suite using combinatorial optimization.

Zhiqiang Zhang, Jun Yan, Yong Zhao, Jian Zhang

J. Syst. Softw., 2014

A Fast and Practical Method to Estimate Volumes of Convex Polytopes.

Cunjing Ge, Feifei Ma, Jian Zhang

CoRR, 2014

Choreography Scenario-Based Test Data Generation.

Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion.

Tianyong Wu, Jun Yan, Jian Zhang

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Sample-Adaptive Multiple Kernel Learning.

Xinwang Liu, Lei Wang, Jian Zhang, Jianping Yin

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Finding orthogonal latin squares using finite model searching tools.

Feifei Ma, Jian Zhang

Sci. China Inf. Sci., 2013

Towards Conformance Testing of Choreography Based on Scenario.

Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Search Strategy Guided by Uncovered Branches for Concolic Testing.

Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Characterizing and detecting resource leaks in Android applications.

Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Cascade: A Test Generation Tool for Combinatorial Testing.

Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Profile directed systematic testing of concurrent programs.

Yan Hu, Jun Yan, Jian Zhang, He Jiang

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Performance Estimation Using Symbolic Data.

Jian Zhang

Proceedings of the Theories of Programming and Formal Methods, 2013

MACE4 and SEM: A Comparison of Finite Model Generators.

Hantao Zhang, Jian Zhang

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

Integrating Standard Dependency Schemes in QCSP Solvers.

Ji-Wei Jin, Feifei Ma, Jian Zhang

J. Comput. Sci. Technol., 2012

A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines.

Tianyong Wu, Jun Yan, Jian Zhang

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Faulty Interaction Identification via Constraint Solving and Optimization.

Jian Zhang, Feifei Ma, Zhiqiang Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Combinatorial Testing on ID3v2 Tags of MP3 Files.

Zhiqiang Zhang, Xiaojian Liu, Jian Zhang

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Solving Generalized Optimization Problems Subject to SMT Constraints.

Feifei Ma, Jun Yan, Jian Zhang

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2011

Characterizing failure-causing parameter interactions by adaptive testing.

Zhiqiang Zhang, Jian Zhang

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Program analysis: from qualitative analysis to quantitative analysis.

Sheng Liu, Jian Zhang

Proceedings of the 33rd International Conference on Software Engineering, 2011

Tuple density: a new metric for combinatorial test suites.

Baiqiang Chen, Jian Zhang

Proceedings of the 33rd International Conference on Software Engineering, 2011

Searching for Doubly Self-orthogonal Latin Squares.

Runming Lu, Sheng Liu, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Local lemma: a new strategy of pruning in SAT solvers.

Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Combinatorial Testing with Shielding Parameters.

Baiqiang Chen, Jun Yan, Jian Zhang

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Volume Computation for Boolean Combination of Linear Arithmetic Constraints.

Feifei Ma, Sheng Liu, Jian Zhang

Proceedings of the Automated Deduction, 2009

Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.

Xiaohui Ji, Feifei Ma, Jian Zhang

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

A backtracking search tool for constructing combinatorial test suites.

Jun Yan, Jian Zhang

J. Syst. Softw., 2008

An efficient method to generate feasible paths for basis path testing.

Jun Yan, Jian Zhang

Inf. Process. Lett., 2008

Basic research in computer science and software engineering at SKLCS.

Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu

Frontiers Comput. Sci. China, 2008

Test Data Generation for C Programs with String-Handling Functions.

Hui Ruan, Jian Zhang, Jun Yan

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Path and Context Sensitive Inter-procedural Memory Leak Detection.

Zhongxing Xu, Jian Zhang

Proceedings of the Eighth International Conference on Quality Software, 2008

Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.

Feifei Ma, Jian Zhang

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Checking Inconsistency of Rule Sets in Active Real-Time Databases.

Jian Zhang

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Volume Computation Using a Direct Monte Carlo Method.

Sheng Liu, Jian Zhang, Binhai Zhu

Proceedings of the Computing and Combinatorics, 13th Annual International Conference, 2007

Computer Search for Large Sets of Idempotent Quasigroups.

Feifei Ma, Jian Zhang

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

2006

Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem.

Sheng Liu, Jian Zhang

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

A Test Data Generation Tool for Unit Testing of C Programs.

Zhongxing Xu, Jian Zhang

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach.

Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zhang

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing.

Jun Yan, Jian Zhang

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

A Powerful Technique to Eliminate Isomorphism in Finite Model Search.

Xiangxue Jia, Jian Zhang

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Finding Relations Among Linear Constraints.

Jun Yan, Jian Zhang, Zhongxing Xu

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances.

Sheng Liu, Jian Zhang

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

Constraint Solving and Symbolic Execution.

Jian Zhang

Proceedings of the Verified Software: Theories, 2005

Predicate-Oriented Isomorphism Elimination in Model Finding.

Xiangxue Jia, Jian Zhang

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Computer Search for Counterexamples to Wilkie's Identity.

Jian Zhang

Proceedings of the Automated Deduction, 2005

2004

Improving First-order Model Searching by Propositional Reasoning and Lemma Learning.

Zhuo Huang, Hantao Zhang, Jian Zhang

Proceedings of the SAT 2004, 2004

Symbolic Execution of Program Paths Involving Pointer and Structure Variables.

Jian Zhang

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Extending Finite Model Searching with Congruence Closure Computation.

Jian Zhang, Hantao Zhang

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2002

Automated test case generation for the stress testing of multimedia systems.

Jian Zhang, Shing-Chi Cheung

Softw. Pract. Exp., 2002

Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.

Wenhui Zhang, Zhuo Huang, Jian Zhang

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

2001

Automatic symmetry breaking method combined with SAT.

Jian Zhang

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Automatic Generation of Database Instances for White-box Testing.

Jian Zhang, Chen Xu, Shing-Chi Cheung

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

A Path-Based Approach to the Detection of Infinite Looping.

Jian Zhang

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints.

Jian Zhang

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

Stress Testing of Distributed Multimedia Software Systems.

Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

System Description: MCS: Model-based Conjecture Searching.

Jian Zhang

Proceedings of the Automated Deduction, 1999

1997

Finite Model Generation and Formal Specification Development.

Jian Zhang

Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

1996

Constructing Finite Algebras with FALCON.

Jian Zhang

J. Autom. Reason., 1996

System Description: Generating Models by SEM.

Jian Zhang, Hantao Zhang

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Combining Local Search and Backtracking Techniques for Constraint Satisfaction.

Jian Zhang, Hantao Zhang

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Automatic construction of finite algebras.

Jian Zhang

J. Comput. Sci. Technol., 1995

SEM: a System for Enumerating Models.

Jian Zhang, Hantao Zhang

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Constraint Propagation in Model Generation.

Jian Zhang, Hantao Zhang

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Problems on the Generation of Finite Models.

Jian Zhang

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994