Jian Zhang

Professor

Leader · PhD Supervisor

Automatic reasoning, Constraint solving, Static analysis and Software testing

Publications

150 publications

2022

Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022Pei HuangYuting YangFuqi Jia Minghao Liu Feifei MaJian Zhang

2021

Are the Scala Checks Effective? Evaluating Checks with Real-world Projects
QRS 2021Xin Zhang Jiwei Yan Baoquan Cui Jun YanJian Zhang
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
ASE 2021Xutong Ma Jiwei Yan Wei Wang Jun YanJian ZhangZongyan Qiu
Dynamic Detection of AsyncTask Related Defects
QRS 2021Qing Liu Linjie Pan Baoquan Cui Jun YanJian Zhang
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
SAT 2021Pei Huang Rundong Li Minghao Liu Feifei MaJian Zhang
Efficient testing of GUI applications by event sequence reduction
SCP 2021Jiwei YanHao ZhouXi Deng Ping Wang Rongjie Yan Jun YanJian Zhang
Investigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021Jiwei JinYiqi Lv Cunjing Ge Feifei MaJian Zhang

2020

Combinatorial Testing of Browsers’ Support for Multimedia
TR 2020Xi Deng Zhiqiang Zhang Rundong Li Jun YanJian Zhang
GTFuzz: Guard Token Directed Grey-Box Fuzzing
PRDC 2020Rundong LiHongLiang LiangLiming Liu Xutong Ma Rong Qu Jun YanJian Zhang
Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness
TR 2020Long ZhangZijie LiYang FengZhenyu ZhangWing Kwong ChanJian ZhangYuming Zhou
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020Minghao Liu Fan Zhang Pei HuangShuzi NiuFeifei MaJian Zhang
Multiple-entry testing of Android applications by constructing activity launching contexts
ICSE 2020Jiwei YanHao LiuLinjie Pan Jun YanJian ZhangBin Liang
Code
PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing
QRS 2020Zijie LiLong Zhang Jun YanJian ZhangZhenyu ZhangT. H. Tse
SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed
ESEC/FSE 2020Pan BianBin LiangJianjun HuangWenchang ShiXidong WangJian Zhang
Static asynchronous component misuse detection for Android applications
ESEC/FSE 2020Linjie Pan Baoquan CuiHao LiuJiwei YanSiqi WangJun YanJian Zhang

2019

Adaptive Random Testing for XSS Vulnerability
APSEC 2019Chengcheng LvLong ZhangFanping ZengJian Zhang
Analyses for specific defects in android applications: a survey
FCS 2019Tianyong Wu Xi Deng Jun YanJian Zhang
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android
ISSTA 2019Linjie Pan Baoquan Cui Jiwei Yan Xutong Ma Jun YanJian Zhang
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019Cunjing Ge Feifei Ma Xutong Ma Fan Zhang Pei HuangJian Zhang
DroidLeaks: a comprehensive database of resource leaks in Android apps
ESE 2019Yepang LiuJue WangLili WeiChang XuShing-Chi CheungTianyong Wu Jun YanJian Zhang
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
ISSAC 2019Pei Huang Minghao Liu Cunjing Ge Feifei MaJian Zhang
On some matching problems under the color-spanning model
TCS 2019Sergey BeregFeifei MaWencheng WangJian ZhangBinhai Zhu
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis
QRS 2019Xutong Ma Jiwei Yan Jun YanJian Zhang
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019Pei Huang Minghao Liu Ping WangWenhui ZhangFeifei MaJian Zhang
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
ASE 2019Xutong Ma Jiwei Yan Yaqi Li Jun YanJian Zhang
Code
Understanding Ineffective Events and Reducing Test Sequences for Android Applications
TASE 2019Ping Wang Jiwei Yan Xi Deng Jun YanJian Zhang

2018

A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing Ge Feifei MaTian LiuJian ZhangXutong Ma
Characterizing and identifying misexposed activities in Android applications
ASE 2018Jiwei Yan Xi Deng Ping Wang Tianyong Wu Jun YanJian Zhang
Code
Checking Activity Transition Systems with Back Transitions Against Assertions
ICFEM 2018Cunjing Ge Jiwei Yan Jun YanJian Zhang
Computing and estimating the volume of the solution space of SMT(LA) constraints
TCS 2018Cunjing Ge Feifei MaPeng ZhangJian Zhang