![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jian Zhang 0001
Person information
- affiliation: Chinese Academy of Science, Institute of Software, China
Other persons with the same name
- Jian Zhang (aka: Ji'an Zhang) — disambiguation page
- Jian Zhang 0002
— University of Technology, Sydney, Faculty of Engineering and Information Technology, Ultimo, NSW, Australia (and 4 more)
- Jian Zhang 0003 — Purdue University, Department of Statistics, West Lafayette, IN, USA (and 2 more)
- Jian Zhang 0004 — Louisiana State University, Department of Computer Science, Baton Rouge, LA, USA (and 3 more)
- Jian Zhang 0005 — Microsoft Corp., Redmond, WA, USA (and 1 more)
- Jian Zhang 0006 — Drexel University, Philadelphia, PA, USA
- Jian Zhang 0007 — Tulane University, New Orleans, USA
- Jian Zhang 0008 — The University of York, Department of Mathematics, UK
- Jian Zhang 0009 — East China University of Science and Technology, China
- Jian Zhang 0010
— Wuhan University, School of Computer Science, Wuhan, China
- Jian Zhang 0011
— Southeast University, School of Transportation, Jiangsu Key Laboratory of Urban ITS, Nanjing, China
- Jian Zhang 0012
— Huazhong Agricultural University, College of Resource and Environment, Wuhan, China
- Jian Zhang 0013
— Zhejiang University, College of Electrical Engineering, Hangzhou, China
- Jian Zhang 0014
— McGill University, Montreal, QC, Canada (and 1 more)
- Jian Zhang 0015
— Chongqing University, College of Communication Engineering, China
- Jian Zhang 0016
— City University of Hong Kong, Department of System Engineering and Engineering Management, Hong Kong
- Jian Zhang 0017
— Chinese Academy of Sciences, Beijing Institute of Genomics, Key Laboratory of Genomics and Precision Medicine, China
- Jian Zhang 0018
— Peking University, School of Electronic and Computer Engineering, Shenzhen Graduate School, Shenzhen, China (and 3 more)
- Jian Zhang 0019
— China University of Mining and Technology, School of Computer Science and Technology, Xuzhou, China (and 1 more)
- Jian Zhang 0020
— Xinyang Normal University, School of Computer and Information Technology, China (and 2 more)
- Jian Zhang 0021
— Jilin University, College of Instrumentation and Electrical Engineering, Changchun, China
- Jian Zhang 0022
— National University of Defense Technology, College of Computer, Changsha, China
- Jian Zhang 0023
— Hangzhou Dianzi University, School of Cyberspace, China (and 1 more)
- Jian Zhang 0024
— Nanjing University, Collaborative Innovation Center of Advanced Microstructures, School of Physics, National Laboratory of Solid State Microstructures, China
- Jian Zhang 0025 — Huaihai Institute of Technology, Department of Computer Engineering, Lianyungang, China (and 1 more)
- Jian Zhang 0026
— Hangzhou Normal University, School of Information Science and Technology, China (and 3 more)
- Jian Zhang 0027 — Hebei Polytechnic University, College of Information, Tangshan, China
- Jian Zhang 0028
— Auburn University, RFID Laboratory, AL, USA
- Jian Zhang 0029 — Arizona State University, Tempe, USA
- Jian Zhang 0030 — University of Technology of Troyes, France
- Jian Zhang 0031 — University of Darmstadt, Germany
- Jian Zhang 0032
— Peking University, Institute of Computer Science and Technology, Beijing, China
- Jian Zhang 0033
— Xidian University, State Key Laboratory of Integrated Service Networks, Xi'an, China
- Jian Zhang 0034
— Central South University, School of Resources and Safety Engineering, Changsha, China
- Jian Zhang 0035
— Zhejiang University, School of Mathematical Sciences, Hangzhou, China (and 1 more)
- Jian Zhang 0036 — Texas Woman's University, Denton, TX, USA
- Jian Zhang 0037
— Shanghai Jiao Tong University, School of Medicine, China
- Jian Zhang 0038
— National Institutes of Health, Bethesda, MD, USA
- Jian Zhang 0039
— North China Electric Power University, State Key Laboratory of Alternate Electrical Power System With Renewable Energy Sources, Beijing, China
- Jian Zhang 0040
— National Digital Switching System Engineering and Technological Research Center, Zhengzhou, China
- Jian Zhang 0041
— Southeast University, School of Civil Engineering, Jiangsu Key Laboratory of Engineering Mechanics, Nanjing, China
- Jian Zhang 0042 — École centrale de Lille, Villeneuve-d'Ascq, France
- Jian Zhang 0043
— Southwest Jiaotong University, School of Mechanical Engineering, Chengdu, China
- Jian Zhang 0044
— Harbin Engineering University, College of Power and Energy Engineering, China (and 1 more)
- Jian Zhang 0045
— University of Technology of Belfort-Montbéliard, Belfort, France
- Jian Zhang 0046
— Space Engineering University, PLA Strategic Support Force, Beijing, China
- Jian Zhang 0047
— Beijing University of Posts and Telecommunications, School of Information and Communication Engineering, China
- Jian Zhang 0048
— Central South University, School of Computer Science and Engineering, Changsha, China
- Jian Zhang 0049 — Stanford University, Department of Computer Science, Stanford, CA, USA (and 2 more)
- Jian Zhang 0050
— Apple Inc., Cupertino, CA, USA (and 1 more)
- Jian Zhang 0051 — Georgetown University Medical Center, Washington, DC, USA
- Jian Zhang 0052 — Hunan University of Commerce, School of Mathematics and Statistics, Key Laboratory of Hunan Province for Mobile Business Intelligence, Changsha, China (and 1 more)
- Jian Zhang 0053
— South China University of Technology, School of Electric Power Engineering, Guangzhou, China
- Jian Zhang 0054
— Nanjing University of Information Science and Technology, School of Computer and Software, Nanjing, China
- Jian Zhang 0055
— Tongji University, School of Mechanical Engineering, Shanghai, China
- Jian Zhang 0056
— Sichuan Normal University, School of Physics and Electronic Engineering, Chengdu, China
- Jian Zhang 0057
— Central University of Finance and Economics, School of Government, Beijing, China
- Jian Zhang 0058
— Nanjing University of Aeronautics and Astronautics, College of Automation Engineering, Center for More-Electric-Aircraft Power System, Nanjing, China
- Jian Zhang 0059
— Beijing University of Posts and Telecommunications, National Engineering Lab for Mobile Network Technologies, Beijing, China
- Jian Zhang 0060
— East China Normal University, Shanghai Key Laboratory of Multidimensional Information Processing, Shanghai, China
- Justin Jian Zhang
(aka: Jian Zhang 0061) — Dongguan University of Technology, Engineering Technology Institute, Dongguan, China (and 1 more)
- Jian Zhang 0062
— Jiangsu University, Department of Mechanics and Engineering Science, Zhenjiang, China (and 1 more)
- Jian Zhang 0063 — University of Kent, School of Mathematics, Statistics and Actuarial Science, Canterbury, UK
- Jian Zhang 0064
— Zhengzhou University, School of Mathematics and Statistics, Zhengzhou, China (and 1 more)
- Jian Zhang 0065 — Sichuan Normal University, College of Mathematics and Software Science, Chengdu, China
- Jian Zhang 0066 — Rutgers University, Department of Electrical and Computer Engineering, Piscataway, NJ, USA
- Jian Zhang 0067 — EPFL, Integrated Systems Laboratory, Lausanne, Switzerland
- Jian Zhang 0068
— Tianjin University of Technology, School of Computer Science and Engineering, Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology, Tianjin, China
- Jian Zhang 0069 — Broadcom Corp., San Diego, CA, USA (and 1 more)
- Jian Zhang 0070
— Chinese Academy of Sciences, Computer Network Information Center, Beijing, China (and 2 more)
- Jian Zhang 0071 — Delft University of Technology, Department of Precision & Microsystems Engineering, Delft, Netherlands
- Jian Zhang 0072 — University of Jyväskylä Department of Mathematical Information Technology, Jyväskylä, Finland
- Jian Zhang 0073 — University of Rostock, Institute of Automation, Rostock, Germany
- Jian Zhang 0074 — Columbia University, Department of Mechanical Engineering, New York, NY, USA
- Jian Zhang 0075 — University of Science and Technology of China, Hefei, China (and 1 more)
- Jian Zhang 0076 — Waseda University, Graduate School of Information, Production and Systems, Tokyo, Japan
- Jian Zhang 0077 — Ohio State University, Department of Statistics, Columbus, OH, USA
- Jian Zhang 0078 — SUNY Downstate Medical Center, Henri Begleiter Neurodynamics Laboratory, Brooklyn, NY, USA (and 1 more)
- Jian Zhang 0079
— Shanghai Jiao Tong University, Shanghai Institute for Advanced Communication and Data Science, China
- Jian Zhang 0080
— Beijing Information Science and Technology University, School of Economics and Management, China
- Jian Zhang 0081
— Southwest Jiaotong University, Faculty of Geosciences and Environmental Engineering, Chengdu, China (and 1 more)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c119]Yuqi Guo
, Shihao Zhu
, Yan Cai
, Liang He
, Jian Zhang
:
Reorder Pointer Flow in Sound Concurrency Bug Prediction. ICSE 2024: 19:1-19:13 - [c118]Yuanjun Gong
, Jianglei Nie
, Wei You
, Wenchang Shi
, Jianjun Huang
, Bin Liang
, Jian Zhang
:
SICode: Embedding-Based Subgraph Isomorphism Identification for Bug Detection. ICPC 2024: 304-315 - [i14]Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian Zhang:
Augmenting LLMs to Repair Obsolete Test Cases with Static Collector and Neural Reranker. CoRR abs/2407.03625 (2024) - 2023
- [j21]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: 111773 (2023) - [c117]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: 16264-16265 - [c116]Suyue Guo, Xinyu Wan, Wei You, Bin Liang, Wenchang Shi, Yiwei Zhang, Jianjun Huang
, Jian Zhang:
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers. ICSE 2023: 95-107 - [c115]Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu:
Detecting Exception Handling Bugs in C++ Programs. ICSE 2023: 1084-1095 - [c114]Fuqi Jia, Rui Han, Pei Huang
, Minghao Liu
, Feifei Ma, Jian Zhang:
Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA 2023: 14-25 - [c113]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: 1049-1060 - [c112]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: 1429-1440 - [c111]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: 1756-1760 - [c110]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: 2046-2049 - [c109]Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang:
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS 2023 - [c108]Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li:
Quantifying Robustness to Adversarial Word Substitutions. ECML/PKDD (1) 2023: 95-112 - [c107]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: 410-422 - [c106]Rong Qu, Jiangang Huang, Long Zhang, Tianlu Qiao, Jian Zhang:
Scope-based Compiler Differential Testing. QRS 2023: 360-369 - 2022
- [c105]Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu
, Feifei Ma, Jian Zhang:
Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI 2022: 10785-10793 - [c104]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 - [c103]Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan, Jian Zhang:
String Test Data Generation for Java Programs. ISSRE 2022: 251-262 - [c102]Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang
, Wei You, Wenchang Shi, Jian Zhang:
Hunting bugs with accelerated optimal graph vertex matching. ISSTA 2022: 64-76 - [c101]Pei Huang, Yuting Yang, Minghao Liu
, Fuqi Jia, Feifei Ma, Jian Zhang:
ε-weakened robustness of deep neural networks. ISSTA 2022: 126-138 - [c100]Jiwei Yan
, Shixin Zhang
, Yepang Liu
, Xi Deng, Jun Yan, Jian Zhang:
A Comprehensive Evaluation of Android ICC Resolution Techniques. ASE 2022: 1:1-1:13 - [c99]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 - [i13]Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li:
Quantifying Robustness to Adversarial Word Substitutions. CoRR abs/2201.03829 (2022) - [i12]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 abs/2203.10714 (2022) - [i11]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 abs/2206.13828 (2022) - 2021
- [j20]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) - [c98]Shaowei Cai
, Chuan Luo
, Xindi Zhang
, Jian Zhang
:
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP 2021: 5:1-5:10 - [c97]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 - [c96]Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang:
Dynamic Detection of AsyncTask Related Defects. QRS 2021: 357-366 - [c95]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 - [c94]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 - [c93]Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang:
Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT 2021: 270-279 - [i10]Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang:
ε-weakened Robustness of Deep Neural Networks. CoRR abs/2110.15764 (2021) - [i9]Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang:
Towards Practical Evaluation of Android ICC Resolution Techniques. CoRR abs/2111.05649 (2021) - [i8]Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang:
Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR abs/2111.07568 (2021) - [i7]Ru-Han Chen, Longguang Li, Jian Zhang, Wenyi Zhang, Jing Zhou:
On the Capacity of MISO Optical Intensity Channels With Per-Antenna Intensity Constraints. CoRR abs/2111.11637 (2021) - 2020
- [j19]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) - [j18]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) - [c92]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 - [c91]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 - [c90]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 - [c89]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 - [c88]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 - [c87]Pan Bian, Bin Liang, Jianjun Huang
, Wenchang Shi, Xidong Wang, Jian Zhang:
SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed. ESEC/SIGSOFT FSE 2020: 1101-1113 - [i6]Jian Zhang, Cunjing Ge, Feifei Ma:
Counting the Number of Solutions to Constraints. CoRR abs/2012.14366 (2020)
2010 – 2019
- 2019
- [j17]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) - [j16]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) - [j15]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) - [c86]Chengcheng Lv, Long Zhang, Fanping Zeng, Jian Zhang:
Adaptive Random Testing for XSS Vulnerability. APSEC 2019: 63-69 - [c85]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: 1093-1100 - [c84]Cunjing Ge
, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang:
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI 2019: 1697-1703 - [c83]Pei Huang, Minghao Liu
, Cunjing Ge, Feifei Ma, Jian Zhang:
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC 2019: 203-210 - [c82]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 - [c81]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 - [c80]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 - [c79]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
- [j14]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) - [j13]Hongliang Liang
, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang:
Fuzzing: State of the Art. IEEE Trans. Reliab. 67(3): 1199-1218 (2018) - [c78]Cunjing Ge, Feifei Ma, Jian Zhang:
VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR 2018 - [c77]Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma:
A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR 2018 - [c76]Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma:
A New Probabilistic Algorithm for Approximate Model Counting. IJCAR 2018: 312-328 - [c75]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 - [c74]Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang:
Checking Activity Transition Systems with Back Transitions Against Assertions. ICFEM 2018: 388-403 - [c73]Jiwei Yan
, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang:
LAND: a user-friendly and customizable test generation tool for Android apps. ISSTA 2018: 360-363 - [c72]Jiwei Yan
, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian Zhang:
Characterizing and identifying misexposed activities in Android applications. ASE 2018: 691-701 - [c71]Ling Yang, Jun Yan, Jian Zhang:
Generating minimal test set satisfying MC/DC criterion via SAT based approach. SAC 2018: 1899-1906 - [i5]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
- [j12]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: 35-57 (2017) - [j11]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) - [c70]Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang:
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. COMPSAC (1) 2017: 67-74 - [c69]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: 405-413 - [c68]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 - [c67]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 - [c66]Xi Deng, Tianyong Wu, Jun Yan, Jian Zhang:
Combinatorial Testing on Implementations of HTML5 Support. ICST Workshops 2017: 262-271 - [c65]Jiwei Yan
, Tianyong Wu, Jun Yan, Jian Zhang:
Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. QRS 2017: 42-53 - [c64]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: 502-506 - [i4]Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang:
A New Probabilistic Algorithm for Approximate Model Counting. CoRR abs/1706.03906 (2017) - 2016
- [j10]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): 1054-1076 (2016) - [c63]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: 265-272 - [c62]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 - [c61]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: 342-352 - [c60]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: 762-767 - [c59]Hai Liu, Feifei Ma, Jian Zhang:
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI 2016: 262-270 - [i3]Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang:
Target Directed Event Sequence Generation for Android Applications. CoRR abs/1607.03258 (2016) - 2015
- [c58]Xinwang Liu, Lei Wang, Jianping Yin, Yong Dou, Jian Zhang:
Absent Multiple Kernel Learning. AAAI 2015: 2807-2813 - [c57]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 - [c56]Zhiqiang Zhang, Tianyong Wu, Jian Zhang:
Boundary value analysis in automatic white-box test generation. ISSRE 2015: 239-249 - [c55]Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang:
SMT Solving for the Theory of Ordering Constraints. LCPC 2015: 287-302 - [i2]Cunjing Ge, Feifei Ma, Jian Zhang:
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). CoRR abs/1507.00142 (2015) - 2014
- [b1]Jian Zhang, Zhiqiang Zhang, Feifei Ma:
Automatic Generation of Combinatorial Test Data. Springer Briefs in Computer Science, Springer 2014, ISBN 978-3-662-43428-4, pp. 1-90 - [j9]Zhiqiang Zhang
, Jun Yan, Yong Zhao, Jian Zhang:
Generating combinatorial test suite using combinatorial optimization. J. Syst. Softw. 98: 191-207 (2014) - [c54]Xinwang Liu, Lei Wang, Jian Zhang, Jianping Yin:
Sample-Adaptive Multiple Kernel Learning. AAAI 2014: 1975-1981 - [c53]Tianyong Wu, Jun Yan, Jian Zhang:
Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE 2014: 118-126 - [c52]Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin
:
Choreography Scenario-Based Test Data Generation. TASE 2014: 70-73 - [i1]Cunjing Ge, Feifei Ma, Jian Zhang:
A Fast and Practical Method to Estimate Volumes of Convex Polytopes. CoRR abs/1401.0120 (2014) - 2013
- [j8]Feifei Ma, Jian Zhang:
Finding orthogonal latin squares using finite model searching tools. Sci. China Inf. Sci. 56(3): 1-9 (2013) - [c51]Hantao Zhang, Jian Zhang:
MACE4 and SEM: A Comparison of Finite Model Generators. Automated Reasoning and Mathematics 2013: 101-130 - [c50]Jian Zhang:
Performance Estimation Using Symbolic Data. Theories of Programming and Formal Methods 2013: 346-353 - [c49]Yan Hu, Jun Yan, Jian Zhang, He Jiang:
Profile directed systematic testing of concurrent programs. AST 2013: 47-52 - [c48]Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang:
Cascade: A Test Generation Tool for Combinatorial Testing. ICST Workshops 2013: 267-270 - [c47]Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang:
Characterizing and detecting resource leaks in Android applications. ASE 2013: 389-398 - [c46]Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng:
A Search Strategy Guided by Uncovered Branches for Concolic Testing. QSIC 2013: 21-24 - [c45]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
- [j7]Ji-Wei Jin, Feifei Ma, Jian Zhang:
Integrating Standard Dependency Schemes in QCSP Solvers. J. Comput. Sci. Technol. 27(1): 37-41 (2012) - [c44]Feifei Ma, Jun Yan, Jian Zhang:
Solving Generalized Optimization Problems Subject to SMT Constraints. FAW-AAIM 2012: 247-258 - [c43]Zhiqiang Zhang, Xiaojian Liu, Jian Zhang:
Combinatorial Testing on ID3v2 Tags of MP3 Files. ICST 2012: 587-590 - [c42]Jian Zhang, Feifei Ma, Zhiqiang Zhang:
Faulty Interaction Identification via Constraint Solving and Optimization. SAT 2012: 186-199 - [c41]Tianyong Wu, Jun Yan, Jian Zhang:
A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. TASE 2012: 267-270 - 2011
- [c40]Runming Lu, Sheng Liu, Jian Zhang:
Searching for Doubly Self-orthogonal Latin Squares. CP 2011: 538-545 - [c39]Baiqiang Chen, Jian Zhang:
Tuple density: a new metric for combinatorial test suites. ICSE 2011: 876-879 - [c38]Sheng Liu, Jian Zhang:
Program analysis: from qualitative analysis to quantitative analysis. ICSE 2011: 956-959 - [c37]Zhiqiang Zhang, Jian Zhang:
Characterizing failure-causing parameter interactions by adaptive testing. ISSTA 2011: 331-341 - 2010
- [c36]Baiqiang Chen, Jun Yan, Jian Zhang:
Combinatorial Testing with Shielding Parameters. APSEC 2010: 280-289 - [c35]Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang:
Local lemma: a new strategy of pruning in SAT solvers. SAC 2010: 2071-2072
2000 – 2009
- 2009
- [c34]Xiaohui Ji, Feifei Ma, Jian Zhang:
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. ACIS-ICIS 2009: 107-111 - [c33]Feifei Ma, Sheng Liu, Jian Zhang:
Volume Computation for Boolean Combination of Linear Arithmetic Constraints. CADE 2009: 453-468 - 2008
- [j6]Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu
:
Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China 2(1): 1-11 (2008) - [j5]Jun Yan, Jian Zhang:
An efficient method to generate feasible paths for basis path testing. Inf. Process. Lett. 107(3-4): 87-92 (2008) - [j4]Jun Yan, Jian Zhang:
A backtracking search tool for constructing combinatorial test suites. J. Syst. Softw. 81(10): 1681-1693 (2008) - [c32]Jian Zhang:
Checking Inconsistency of Rule Sets in Active Real-Time Databases. HASE 2008: 453-456 - [c31]Feifei Ma, Jian Zhang:
Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. PRICAI 2008: 247-259 - [c30]Zhongxing Xu, Jian Zhang:
Path and Context Sensitive Inter-procedural Memory Leak Detection. QSIC 2008: 412-420 - [c29]Hui Ruan, Jian Zhang, Jun Yan:
Test Data Generation for C Programs with String-Handling Functions. TASE 2008: 219-226 - 2007
- [c28]Feifei Ma, Jian Zhang:
Computer Search for Large Sets of Idempotent Quasigroups. ASCM 2007: 349-358 - [c27]Sheng Liu, Jian Zhang, Binhai Zhu:
Volume Computation Using a Direct Monte Carlo Method. COCOON 2007: 198-209 - 2006
- [c26]Sheng Liu, Jian Zhang:
Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. AISC 2006: 211-225 - [c25]Jun Yan, Jian Zhang, Zhongxing Xu:
Finding Relations Among Linear Constraints. AISC 2006: 226-240 - [c24]Xiangxue Jia, Jian Zhang:
A Powerful Technique to Eliminate Isomorphism in Finite Model Search. IJCAR 2006: 318-331 - [c23]Jun Yan, Jian Zhang:
Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. COMPSAC (1) 2006: 385-394 - [c22]Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zhang:
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. ISSRE 2006: 75-84 - [c21]Zhongxing Xu, Jian Zhang:
A Test Data Generation Tool for Unit Testing of C Programs. QSIC 2006: 107-116 - [c20]Sheng Liu, Jian Zhang:
Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem. Web Intelligence 2006: 510-513 - 2005
- [c19]Jian Zhang:
Computer Search for Counterexamples to Wilkie's Identity. CADE 2005: 441-451 - [c18]Xiangxue Jia, Jian Zhang:
Predicate-Oriented Isomorphism Elimination in Model Finding. IJCAI 2005: 1525-1516 - [c17]Jian Zhang:
Constraint Solving and Symbolic Execution. VSTTE 2005: 539-544 - 2004
- [c16]Jian Zhang, Hantao Zhang:
Extending Finite Model Searching with Congruence Closure Computation. AISC 2004: 94-102 - [c15]Jian Zhang:
Symbolic Execution of Program Paths Involving Pointer and Structure Variables. QSIC 2004: 87-92 - [c14]Zhuo Huang, Hantao Zhang, Jian Zhang:
Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. SAT 2004 - 2002
- [j3]Jian Zhang, Shing-Chi Cheung
:
Automated test case generation for the stress testing of multimedia systems. Softw. Pract. Exp. 32(15): 1411-1435 (2002) - [c13]Wenhui Zhang, Zhuo Huang, Jian Zhang:
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI 2002: 108-117 - 2001
- [c12]Jian Zhang:
A Path-Based Approach to the Detection of Infinite Looping. APAQS 2001: 88-96 - [c11]Jian Zhang, Chen Xu, Shing-Chi Cheung
:
Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165 - [c10]Jian Zhang:
Automatic symmetry breaking method combined with SAT. SAC 2001: 17-21 - 2000
- [c9]Jian Zhang:
Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints. APAQS 2000: 267-274
1990 – 1999
- 1999
- [c8]Jian Zhang:
System Description: MCS: Model-based Conjecture Searching. CADE 1999: 393-397 - [c7]Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson:
Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133 - 1997
- [c6]Jian Zhang:
Finite Model Generation and Formal Specification Development. TOOLS (24) 1997: 350-355 - 1996
- [j2]Jian Zhang:
Constructing Finite Algebras with FALCON. J. Autom. Reason. 17(1): 1-22 (1996) - [c5]Jian Zhang, Hantao Zhang:
Combining Local Search and Backtracking Techniques for Constraint Satisfaction. AAAI/IAAI, Vol. 1 1996: 369-374 - [c4]Jian Zhang, Hantao Zhang:
System Description: Generating Models by SEM. CADE 1996: 308-312 - 1995
- [j1]Jian Zhang:
Automatic construction of finite algebras. J. Comput. Sci. Technol. 10(3): 206-213 (1995) - [c3]Jian Zhang, Hantao Zhang:
Constraint Propagation in Model Generation. CP 1995: 398-414 - [c2]Jian Zhang, Hantao Zhang:
SEM: a System for Enumerating Models. IJCAI 1995: 298-303 - 1994
- [c1]Jian Zhang:
Problems on the Generation of Finite Models. CADE 1994: 753-757
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 02:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint