张健
研究员
负责人 · 博士生导师
自动推理，约束求解，静态分析，软件测试
论文
2013
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（ICST 附属研讨会）Yong ZhaoZhiqiang ZhangJun YanJian ZhangCharacterizing and detecting resource leaks in Android applications
ASE 2013CCF AChaorong GuoJian ZhangJun YanZhiqiang ZhangYanli ZhangFinding orthogonal latin squares using finite model searching tools
SCIS 2013CCF AFeiFei 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（ICSE 附属研讨会）Yan HuJun YanJian ZhangHe JiangTowards Conformance Testing of Choreography Based on Scenario
TASE 2013Hongli YangKai MaCheng DengHusheng LiaoJun YanJian Zhang
2012
Integrating Standard Dependency Schemes in QCSP Solvers
JCST 2012CCF BJi-Wei JinFei-Fei MaJian Zhang
2011
Characterizing failure-causing parameter interactions by adaptive testing
ISSTA 2011CCF AZhiqiang ZhangJian ZhangMemory Leak Detection Based on Memory State Transition Graph
APSEC 2011CCF CZhenbo 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 2010CCF CBaiqiang 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 2009CCF BFeifei MaSheng LiuJian Zhang- 计算机学报 2009阮辉严俊张健
- 软件学报 2009严俊张健
2008
A backtracking search tool for constructing combinatorial test suites
JSS 2008CCF BJun YanJian ZhangAn efficient method to generate feasible paths for basis path testing
IPL 2008CCF CJun YanJian ZhangComputer Search for Large Sets of Idempotent Quasigroups
ASCM 2007Feifei MaJian ZhangConstraint Solving and Symbolic Execution
VSTTE 2005Jian ZhangFinding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints
PRICAI 2008CCF CFeifei MaJian ZhangPath and Context Sensitive Inter-procedural Memory Leak Detection
QSIC 2008Zhongxing XuJian ZhangTest Data Generation for C Programs with String-Handling Functions
TASE 2008CCF CHui RuanJian ZhangJun Yan
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。