张健
研究员
负责人 · 博士生导师
自动推理，约束求解，静态分析，软件测试
论文
2022
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022CCF APei HuangYuting YangFuqi JiaMinghao LiuFeifei MaJian Zhang
2021
Dynamic Detection of AsyncTask Related Defects
QRS 2021CCF CQing LiuLinjie PanBaoquan CuiJun YanJian ZhangEfficient testing of GUI applications by event sequence reduction
SCP 2021CCF BJiwei YanHao ZhouXi DengPing WangRongjie YanJun YanJian ZhangInvestigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021CCF BJiwei JinYiqi LvCunjing GeFeifei MaJian Zhang
2020
GTFuzz: Guard Token Directed Grey-Box Fuzzing
PRDC 2020Rundong LiHongLiang LiangLiming LiuXutong MaRong QuJun YanJian Zhang- TR 2020CCF CLong ZhangZijie LiYang FengZhenyu ZhangWing Kwong ChanJian ZhangYuming Zhou
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020CCF BMinghao LiuFan ZhangPei HuangShuzi NiuFeifei MaJian ZhangMultiple-entry testing of Android applications by constructing activity launching contexts
ICSE 2020CCF AJiwei YanHao LiuLinjie PanJun YanJian ZhangBin Liang- QRS 2020Zijie LiLong ZhangJun YanJian ZhangZhenyu ZhangT. H. Tse
SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed
ESEC/FSE 2020CCF APan BianBin LiangJianjun HuangWenchang ShiXidong WangJian ZhangStatic asynchronous component misuse detection for Android applications
ESEC/FSE 2020CCF ALinjie PanBaoquan CuiHao LiuJiwei YanSiqi WangJun YanJian Zhang
2019
Adaptive Random Testing for XSS Vulnerability
APSEC 2019CCF CChengcheng LvLong ZhangFanping ZengJian ZhangAnalyses for specific defects in android applications: a survey
FCS 2019CCF BTianyong WuXi DengJun YanJian ZhangDroidLeaks: a comprehensive database of resource leaks in Android apps
ESE 2019CCF BYepang LiuJue WangLili WeiChang XuShing-Chi CheungTianyong WuJun YanJian ZhangOn some matching problems under the color-spanning model
TCS 2019CCF BSergey BeregFeifei MaWencheng WangJian ZhangBinhai ZhuSolving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019CCF BPei HuangMinghao LiuPing WangWenhui ZhangFeifei MaJian Zhang
2018
A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing GeFeifei MaTian LiuJian ZhangXutong MaComputing and estimating the volume of the solution space of SMT(LA) constraints
TCS 2018CCF BCunjing GeFeifei MaPeng ZhangJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。