张健

张健，中国科学院软件研究所研究员。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 作者