张健
研究员
负责人 · 博士生导师
自动推理，约束求解，静态分析，软件测试
论文
2018
- TR 2018CCF CHongliang LiangXiaoxiao PeiXiaodong JiaWuwei ShenJian Zhang
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR 2018Pei HuangFeifei MaCunjing GeJian ZhangHantao ZhangVolCE: An Efficient Tool for Solving #SMT(LA) Problems
PRUV 2018（与 IJCAR 同期同地举办）Cunjing GeFeifei MaJian Zhang
2017
A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization
JSS 2017CCF BLong ZhangLanfei YanZhenyu ZhangJian ZhangW.K. ChanZheng ZhengCombinatorial Testing on Implementations of HTML5 Support
IWCT 2017（ICST 附属研讨会）Xi DengTianyong WuJun YanJian ZhangDetecting Energy Bugs in Android Apps Using Static Analysis
ICFEM 2017CCF CHao JiangHongli YangShengchao QinZhendong SuJian ZhangJun YanIntegrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
CP 2017CCF BLinjie PanJiwei JinXin GaoWei SunFeifei MaMinghao YinJian ZhangOn the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model
FAW 2017Sergey BeregFeifei MaWencheng WangJian ZhangBinhai ZhuWeak QMV algebras and some ring-like structures
Soft Comput. 2017CCF CXian LuYun ShangRu-qian LuJian ZhangFeifei Ma
2016
A deployable sampling strategy for data race detection
FSE 2016CCF AYan CaiJian ZhangLingwei CaoJian LiuGenerating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic
PRICAI 2016Hai LiuFeifei MaJian ZhangLight-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
TSE 2016CCF ATianyong WuJierui LiuZhenbo XuChaorong GuoYanli ZhangJun YanJian Zhang- CP 2016CCF BFeifei MaXin GaoMinghao YinLinjie PanJiwei JinHai LiuJian Zhang
SMT Solving for the Theory of Ordering Constraints
LCPC 2015Cunjing GeFeifei MaJeff HuangJian ZhangThe Floating-Point Extension of Symbolic Execution Engine for Bug Detection
APSEC 2016CCF CXingming WuZhenbo XuDong YanTianyong WuJun YanJian Zhang
2015
Boundary value analysis in automatic white-box test generation
ISSRE 2015CCF BZhiqiang ZhangTianyong WuJian ZhangMelton: a practical and precise memory leak detection tool for C programs
FCS 2015CCF BZhenbo XuJian ZhangZhongxing XuStatic Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
FM 2015CCF AXue-Yang ZhuRongjie YanYu-Lei GuJian ZhangWenhui ZhangGuangquan Zhang
2014
Automatic Generation of Combinatorial Test Data
SpringerBriefs in Computer Science · 2014Jian ZhangZhiqiang ZhangFeifei MaCanalyze: a static bug-finding tool for C programs
ISSTA 2014Zhenbo XuJian ZhangZhongxing XuJiteng WangChoreography Scenario-Based Test Data Generation
TASE 2014Kai MaJin WangHongli YangJun YanJian ZhangShengchao QinGenerating combinatorial test suite using combinatorial optimization
JSS 2014CCF BZhiqiang ZhangJun YanYong ZhaoJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。