Jian Zhang

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 68

Top Venues

Publications

Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian Zhang
Augmenting LLMs to Repair Obsolete Test Cases with Static Collector and Neural Reranker. CoRR (2024)
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)
Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI (2023)
Xi Deng, Jiwei Yan, Shixin Zhang, Jun Yan, Jian Zhang
Variable-strength combinatorial testing of exported activities based on misexposure prediction. J. Syst. Softw. 204 (2023)
Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) (2023)
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)
Yuting Yang, Pei Huang, Juao Cao, Feifei Ma, Jian Zhang, Jintao Li
Quantifying Robustness to Adversarial Word Substitutions. ECML/PKDD (1) (2023)
Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. ASE (2023)
Rong Qu, Jiangang Huang, Long Zhang, Tianlu Qiao, Jian Zhang
Scope-based Compiler Differential Testing. QRS (2023)
Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR (2022)
Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang
ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications. ICSE-Companion (2022)
Jiwei Yan, Shixin Zhang, Yepang Liu, Xi Deng, Jun Yan, Jian Zhang
A Comprehensive Evaluation of Android ICC Resolution Techniques. ASE (2022)
Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang
Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures. CoRR (2022)
Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI (2022)
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)
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ε-weakened robustness of deep neural networks. ISSTA (2022)
Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT (2021)
Jiwei Yan, Shixin Zhang, YePang Liu, Jun Yan, Jian Zhang
Towards Practical Evaluation of Android ICC Resolution Techniques. CoRR (2021)
Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang
Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT (2021)
Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang
Dynamic Detection of AsyncTask Related Defects. QRS (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 (2021)
Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang
Are the Scala Checks Effective? Evaluating Checks with Real-world Projects. QRS (2021)
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)
Jian Zhang, Cunjing Ge, Feifei Ma
Counting the Number of Solutions to Constraints. CoRR (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) (2020)
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)
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)
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)
Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI (2019)
Chengcheng Lv, Long Zhang, Fanping Zeng, Jian Zhang
Adaptive Random Testing for XSS Vulnerability. APSEC (2019)
Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. ASE (2019)
Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu
On some matching problems under the color-spanning model. Theor. Comput. Sci. 786 (2019)
Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang
Analyses for specific defects in android applications: a survey. Frontiers Comput. Sci. 13 (6) (2019)
Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. QRS (2019)
Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI (2019)
Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC (2019)
Ping Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang
Understanding Ineffective Events and Reducing Test Sequences for Android Applications. TASE (2019)
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)
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) (2019)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR (2018)
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 (2018)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
A New Probabilistic Algorithm for Approximate Model Counting. IJCAR (2018)
Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang
Checking Activity Transition Systems with Back Transitions Against Assertions. ICFEM (2018)
Cunjing Ge, Feifei Ma, Jian Zhang
VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR (2018)
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 (2018)
Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian Zhang
Characterizing and identifying misexposed activities in Android applications. ASE (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)
Ling Yang, Jun Yan, Jian Zhang
Generating minimal test set satisfying MC/DC criterion via SAT based approach. SAC (2018)
Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang
LAND: a user-friendly and customizable test generation tool for Android apps. ISSTA (2018)
Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang
Fuzzing: State of the Art. IEEE Trans. Reliab. 67 (3) (2018)
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)
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. CP (2017)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang
A New Probabilistic Algorithm for Approximate Model Counting. CoRR (2017)
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)
Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang
Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. QRS (2017)
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. J. Syst. Softw. 129 (2017)
Xi Deng, Tianyong Wu, Jun Yan, Jian Zhang
Combinatorial Testing on Implementations of HTML5 Support. ICST Workshops (2017)
Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM (2017)
Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma
Weak QMV algebras and some ring-like structures. Soft Comput. 21 (10) (2017)
Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. COMPSAC (1) (2017)
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 Trans. Software Eng. 42 (11) (2016)
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)
Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, Jian Zhang
Relda2: an effective static analysis tool for resource leak detection in Android apps. ASE (2016)
Jierui Liu, Tianyong Wu, Jun Yan, Jian Zhang
Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation. ISSRE (2016)
Hai Liu, Feifei Ma, Jian Zhang
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI (2016)
Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian Zhang
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection. APSEC (2016)
Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang
Target Directed Event Sequence Generation for Android Applications. CoRR (2016)
Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
SMT Solving for the Theory of Ordering Constraints. LCPC (2015)
Xinwang Liu, Lei Wang, Jianping Yin, Yong Dou, Jian Zhang
Absent Multiple Kernel Learning. AAAI (2015)
Cunjing Ge, Feifei Ma, Jian Zhang
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). CoRR (2015)
Zhiqiang Zhang, Tianyong Wu, Jian Zhang
Boundary value analysis in automatic white-box test generation. ISSRE (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)
Zhiqiang Zhang, Jun Yan, Yong Zhao, Jian Zhang
Generating combinatorial test suite using combinatorial optimization. J. Syst. Softw. 98 (2014)
Xinwang Liu, Lei Wang, Jian Zhang, Jianping Yin
Sample-Adaptive Multiple Kernel Learning. AAAI (2014)
Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin
Choreography Scenario-Based Test Data Generation. TASE (2014)
Cunjing Ge, Feifei Ma, Jian Zhang
A Fast and Practical Method to Estimate Volumes of Convex Polytopes. CoRR (2014)
Tianyong Wu, Jun Yan, Jian Zhang
Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE (2014)
Feifei Ma, Jian Zhang
Finding orthogonal latin squares using finite model searching tools. Sci. China Inf. Sci. 56 (3) (2013)
Yan Hu, Jun Yan, Jian Zhang, He Jiang
Profile directed systematic testing of concurrent programs. AST (2013)
Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang
Cascade: A Test Generation Tool for Combinatorial Testing. ICST Workshops (2013)
Hantao Zhang, Jian Zhang
MACE4 and SEM: A Comparison of Finite Model Generators. Automated Reasoning and Mathematics (2013)
Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang
Characterizing and detecting resource leaks in Android applications. ASE (2013)
Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng
A Search Strategy Guided by Uncovered Branches for Concolic Testing. QSIC (2013)
Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang
Towards Conformance Testing of Choreography Based on Scenario. TASE (2013)
Jian Zhang
Performance Estimation Using Symbolic Data. Theories of Programming and Formal Methods (2013)
Ji-Wei Jin, Feifei Ma, Jian Zhang
Integrating Standard Dependency Schemes in QCSP Solvers. J. Comput. Sci. Technol. 27 (1) (2012)
Zhiqiang Zhang, Xiaojian Liu, Jian Zhang
Combinatorial Testing on ID3v2 Tags of MP3 Files. ICST (2012)
Feifei Ma, Jun Yan, Jian Zhang
Solving Generalized Optimization Problems Subject to SMT Constraints. FAW-AAIM (2012)
Jian Zhang, Feifei Ma, Zhiqiang Zhang
Faulty Interaction Identification via Constraint Solving and Optimization. SAT (2012)
Tianyong Wu, Jun Yan, Jian Zhang
A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. TASE (2012)
Sheng Liu, Jian Zhang
Program analysis: from qualitative analysis to quantitative analysis. ICSE (2011)
Runming Lu, Sheng Liu, Jian Zhang
Searching for Doubly Self-orthogonal Latin Squares. CP (2011)
Zhiqiang Zhang, Jian Zhang
Characterizing failure-causing parameter interactions by adaptive testing. ISSTA (2011)
Baiqiang Chen, Jian Zhang
Tuple density: a new metric for combinatorial test suites. ICSE (2011)
Baiqiang Chen, Jun Yan, Jian Zhang
Combinatorial Testing with Shielding Parameters. APSEC (2010)
Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang
Local lemma: a new strategy of pruning in SAT solvers. SAC (2010)
Xiaohui Ji, Feifei Ma, Jian Zhang
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. ACIS-ICIS (2009)
Feifei Ma, Sheng Liu, Jian Zhang
Volume Computation for Boolean Combination of Linear Arithmetic Constraints. CADE (2009)
Jun Yan, Jian Zhang
A backtracking search tool for constructing combinatorial test suites. J. Syst. Softw. 81 (10) (2008)

Jian Zhang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jian Zhang