Jian Zhang

Professor

Leader · PhD Supervisor

Automatic reasoning, Constraint solving, Static analysis and Software testing

Publications

150 publications

2026

Experience Report: Insights from Deploying Educational Static Analysis in Introductory Programming Courses
FSE 2026Ke GongJian Zhang
Code
Write Your Own Code Checker: An Automated Test-Driven Checker Development Approach with LLMs
ICSE 2026Jun Liu*Yuanyuan Xie*Jiwei Yan Jinhao Huang Jun YanJian Zhang
PDF Code

2025

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025Fuqi Jia Yuhang Dong Rui Han Pei Huang Minghao Liu Feifei MaJian Zhang
PDF Code
An Efficient Android App Debloating Approach Based on Multi-Layer Dependence Graph
ICSME 2025Hengqin Yang Jiwei Yan Jun YanBin LiangJian Zhang
PDF Code
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025Weichun Shi Minghao LiuWanting ZhangLangchen Shi Fuqi Jia Feifei MaJian Zhang
Code
StriCT-Bj:A String Constraint Benchmark from Real Java Programs
SANER 2025Chi ZhangJian Zhang
Code

2024

DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates
ISSTA 2024Baoquan Cui Jiwei YanJian Zhang
Code
Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
ISSRE 2024Jun Liu Jiwei Yan Yuanyuan Xie Jun YanJian Zhang
Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023Minghao Liu Rui Han Fuqi Jia Pei Huang Feifei MaHantao ZhangJian Zhang
Code
Panda: A Concurrent Scheduler for Compiler-Based Tools
ISSTA 2024Xutong Ma Jiwei Yan Jun YanJian Zhang
Code

2023

Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao Liu Pei Huang Fuqi Jia Fan ZhangYuchen SunShaowei CaiFeifei MaJian Zhang
Code
Detecting Exception Handling Bugs in C++ Programs
ICSE 2023Hao Zhang Ji Luo Mengze Hu Jun YanJian ZhangZongyan Qiu
Code
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
ASE 2023Xutong Ma Jiwei Yan Hao Zhang Jun YanJian Zhang
Code
Detection of Java Basic Thread Misuses Based on Static Event Analysis
ASE 2023Baoquan Cui Miaomiao Wang Chi Zhang Jiwei Yan Jun YanJian Zhang
Code
ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023Fuqi Jia Rui Han Pei Huang Minghao Liu Feifei MaJian Zhang
Code
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao Liu Kunhang Lv Pei Huang Rui Han Fuqi JiaYu ZhangFeifei MaJian Zhang
Code
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
ICSE 2023Suyue GuoXinyu WanWei YouBin LiangWenchang ShiYiwei ZhangJianjun HuangJian Zhang
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia Rui Han Xutong Ma Baoquan Cui Minghao Liu Pei Huang Feifei MaJian Zhang
Code
Quantifying Robustness to Adversarial Word Substitutions
ECML-PKDD 2023Yuting YangPei HuangJuao CaoFeifei MaJian ZhangJintao Li
Scope-based Compiler Differential Testing
QRS 2023Rong QuJiangang HuangLong ZhangTianlu QiaoJian Zhang
Simulation-Based Validation for Autonomous Driving Systems
ISSTA 2023Changwen LiJoseph SifakisQiang WangRongjie YanJian Zhang
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023Fuqi Jia Yuhang Dong Minghao Liu Pei Huang Feifei MaJian Zhang
Variable-strength combinatorial testing of exported activities based on misexposure prediction
JSS 2023Xi Deng Jiwei Yan Shixin Zhang Jun YanJian Zhang
Code

2022

A Comprehensive Evaluation of Android ICC Resolution Techniques
ASE 2022Jiwei Yan Shixin ZhangYepang LiuXi Deng Jun YanJian Zhang
Code
Adversarial Input Detection Based on Critical Transformation Robustness
ISSRE 2022Jing Su Zhen ZhangPeng WuXuran LiJian Zhang
ExcePy: A Python Benchmark for Bugs with Python Built-in Types
SANER 2022Xin Zhang Rongjie Yan Jiwei Yan Baoquan Cui Jun YanJian Zhang
Hunting bugs with accelerated optimal graph vertex matching
ISSTA 2022Xiaohui ZhangYuanjun GongBin LiangJianjun HuangWei YouWenchang ShiJian Zhang
𝜀 -weakened robustness of deep neural networks
ISSTA 2022Pei HuangYuting YangMinghao Liu Fuqi Jia Feifei MaJian Zhang
ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications
ICSE 2022Jiwei Yan Shixin ZhangYepang LiuJun YanJian Zhang
Code
String Test Data Generation for Java Programs
ISSRE 2022Miaomiao Wang Baoquan Cui Jiwei Yan Jun YanJian Zhang