53816
姓名 | 张健 | 性别 | 男 |
|
---|---|---|---|---|
出生年月 | 1969年 | 出生地 | ||
毕业院校 | 中国科学技术大学 | 毕业时间 | 1988年 | |
最高学历 | 博士 | 职务/职称 | 研究员/杰青 | |
研究方向 | 程序语言与软件工程 | |||
所在单位 | 中国科学院软件研究所 |
张健,中国科学院软件研究所研究员。1969年生,1988年毕业于中国科学技术大学,1994年在中国科学院软件研究所获博士学位。1999年起任研究员,2000年获博士生导师资格。主要研究兴趣包括:自动推理、约束求解、程序静态分析与检错、软件测试数据生成。先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。
(1) Melton: a practical and precise memory leak detection tool for C programs, Frontiers of Computer Science, 2015, 第 2 作者
(2) Boundary Value Analysis in Automatic White-box Test Generation, Proc. ISSRE, 2015, 第 3 作者
(3) Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion, Proc. SERE 2014, 2014, 第 3 作者
(4) Canalyze: a static bug-finding tool for C programs, Proc. ISSTA 2014, 2014, 第 2 作者
(5) Generating combinatorial test suite using combinatorial optimization, Journal of Systems and Software, 2014, 第 4 作者
(6) Characterizing and Detecting Resource Leaks in Android Applications, Proc. ASE 2013, 2013, 第 2 作者
(7) Faulty Interaction Identification via Constraint Solving and Optimization, Proc. SAT 2012, LNCS 7317, 2012, 第 1 作者
(8) Integrating Standard Dependency Schemes in QCSP Solvers , Journal of Computer Science and Technology, 2012, 第 3 作者
(9) Tuple density: a new metric for combinatorial test suites , Proc. ICSE (NIER track), 2011, 第 2 作者
(10) Program analysis: from qualitative analysis to quantitative analysis, Proc. ICSE (NIER track), 2011, 第 2 作者
(11) A Memory Model for Static Analysis of C Programs, LNCS 6415, 2010, 第 3 作者
(12) Combinatorial testing with shielding parameters, Proc. APSEC, 2010, 第 3 作者
(13) Volume Computation for Boolean Combination of Linear Arithmetic Constraints, LNCS 5663, 2009, 第 3 作者
( 1 ) 逻辑公式的可满足性判定--方法、工具及应用, Deciding the Satisfiability of Logical Formulas -- Methods, Tools and Applications, 科学出版社, 2000-10, 第 1 作者
( 2 ) 组合测试数据自动生成, Automatic Generation of Combinatorial Test Data, Springer, 2014-09, 第 1 作者