张健

研究员

负责人 · 博士生导师

自动推理，约束求解，静态分析，软件测试

论文

150 篇论文

2026

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

2025

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

2024

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

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
代码
Detecting Exception Handling Bugs in C++ Programs
ICSE 2023CCF AHao Zhang Ji Luo Mengze Hu Jun YanJian ZhangZongyan Qiu
代码
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
ASE 2023CCF AXutong Ma Jiwei Yan Hao Zhang Jun YanJian Zhang
代码
Detection of Java Basic Thread Misuses Based on Static Event Analysis
ASE 2023CCF ABaoquan Cui Miaomiao Wang Chi Zhang Jiwei Yan Jun YanJian Zhang
代码
ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023CCF AFuqi Jia Rui Han Pei Huang Minghao Liu Feifei MaJian Zhang
代码
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao Liu Kunhang Lv Pei Huang Rui Han Fuqi JiaYu ZhangFeifei MaJian Zhang
代码
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
ICSE 2023CCF ASuyue 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
代码
Quantifying Robustness to Adversarial Word Substitutions
ECML-PKDD 2023CCF BYuting YangPei HuangJuao CaoFeifei MaJian ZhangJintao Li
Scope-based Compiler Differential Testing
QRS 2023CCF CRong QuJiangang HuangLong ZhangTianlu QiaoJian Zhang
Simulation-Based Validation for Autonomous Driving Systems
ISSTA 2023CCF AChangwen LiJoseph SifakisQiang WangRongjie YanJian Zhang
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023CCF AFuqi Jia Yuhang Dong Minghao Liu Pei Huang Feifei MaJian Zhang
Variable-strength combinatorial testing of exported activities based on misexposure prediction
JSS 2023CCF BXi Deng Jiwei Yan Shixin Zhang Jun YanJian Zhang
代码

2022

A Comprehensive Evaluation of Android ICC Resolution Techniques
ASE 2022CCF AJiwei Yan Shixin ZhangYepang LiuXi Deng Jun YanJian Zhang
代码
Adversarial Input Detection Based on Critical Transformation Robustness
ISSRE 2022CCF BJing Su Zhen ZhangPeng WuXuran LiJian Zhang
ExcePy: A Python Benchmark for Bugs with Python Built-in Types
SANER 2022CCF BXin Zhang Rongjie Yan Jiwei Yan Baoquan Cui Jun YanJian Zhang
Hunting bugs with accelerated optimal graph vertex matching
ISSTA 2022CCF AXiaohui ZhangYuanjun GongBin LiangJianjun HuangWei YouWenchang ShiJian Zhang
𝜀 -weakened robustness of deep neural networks
ISSTA 2022CCF APei 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
代码
String Test Data Generation for Java Programs
ISSRE 2022CCF BMiaomiao Wang Baoquan Cui Jiwei Yan Jun YanJian Zhang

CCF 分类依据第七版《中国计算机学会推荐国际学术会议和期刊目录》。