Jian Zhang
Professor
Leader · PhD Supervisor
Automatic reasoning, Constraint solving, Static analysis and Software testing
Publications
150 publications
Clear all filters2013
A Search Strategy Guided by Uncovered Branches for Concolic Testing
QSIC 2013Qixing DongJun YanJian ZhangFanping ZengCascade: A Test Generation Tool for Combinatorial Testing
IWCT 2013 (workshop at ICST)Yong ZhaoZhiqiang ZhangJun YanJian ZhangCharacterizing and detecting resource leaks in Android applications
ASE 2013Chaorong GuoJian ZhangJun YanZhiqiang ZhangYanli ZhangFinding orthogonal latin squares using finite model searching tools
SCIS 2013FeiFei MaJian ZhangMACE4 and SEM: A Comparison of Finite Model Generators
Automated Reasoning and Mathematics · 2013Hantao ZhangJian ZhangPerformance Estimation Using Symbolic Data
Theories of Programming and Formal Methods · 2013Jian ZhangProfile directed systematic testing of concurrent programs
AST 2013 (workshop at ICSE)Yan HuJun YanJian ZhangHe JiangTowards Conformance Testing of Choreography Based on Scenario
TASE 2013Hongli YangKai MaCheng DengHusheng LiaoJun YanJian Zhang
2012
2011
Memory Leak Detection Based on Memory State Transition Graph
APSEC 2011Zhenbo XuJian ZhangZhongxing XuProgram analysis: from qualitative analysis to quantitative analysis (NIER track)
ICSE 2011Sheng LiuJian ZhangSearching for Doubly Self-orthogonal Latin Squares
CP 2011Runming LuSheng LiuJian ZhangTuple density: a new metric for combinatorial test suites (NIER track)
ICSE 2011Baiqiang ChenJian Zhang
2010
A Memory Model for Static Analysis of C Programs
ISoLA 2010Zhongxing XuTed KremenekJian ZhangCombinatorial Testing with Shielding Parameters
APSEC 2010Baiqiang ChenJun YanJian Zhang
2009
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking
ACIS-ICIS 2009Xiaohui JiFeifei MaJian ZhangVolume Computation for Boolean Combination of Linear Arithmetic Constraints
CADE 2009Feifei MaSheng LiuJian ZhangInfinite Loop Detection Based on Path Analysis基于路径分析的死循环检测
Chinese Journal of Computers 2009Hui RuanJun YanJian ZhangCombinatorial Testing: Principles and Methods组合测试：原理与方法
Journal of Software 2009Jun YanJian Zhang
2008
Computer Search for Large Sets of Idempotent Quasigroups
ASCM 2007Feifei MaJian ZhangConstraint Solving and Symbolic Execution
VSTTE 2005Jian ZhangPath and Context Sensitive Inter-procedural Memory Leak Detection
QSIC 2008Zhongxing XuJian ZhangTest Data Generation for C Programs with String-Handling Functions
TASE 2008Hui RuanJian ZhangJun Yan