Jian Zhang
Professor
Leader · PhD Supervisor
Automatic reasoning, Constraint solving, Static analysis and Software testing
Publications
150 publications
Clear all filters2018
- TR 2018Hongliang 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 (co-located with IJCAR)Cunjing GeFeifei MaJian Zhang
2017
A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization
JSS 2017Long ZhangLanfei YanZhenyu ZhangJian ZhangW.K. ChanZheng ZhengCombinatorial Testing on Implementations of HTML5 Support
IWCT 2017 (workshop at ICST)Xi DengTianyong WuJun YanJian ZhangDetecting Energy Bugs in Android Apps Using Static Analysis
ICFEM 2017Hao JiangHongli YangShengchao QinZhendong SuJian ZhangJun YanIntegrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
CP 2017Linjie 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. 2017Xian LuYun ShangRu-qian LuJian ZhangFeifei Ma
2016
A deployable sampling strategy for data race detection
FSE 2016Yan 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 2016Tianyong WuJierui LiuZhenbo XuChaorong GuoYanli ZhangJun YanJian Zhang- CP 2016Feifei 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 2016Xingming WuZhenbo XuDong YanTianyong WuJun YanJian Zhang
2015
Melton: a practical and precise memory leak detection tool for C programs
FCS 2015Zhenbo XuJian ZhangZhongxing XuStatic Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
FM 2015Xue-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 2014Zhiqiang ZhangJun YanYong ZhaoJian Zhang