吴文俊人工智能科学技术奖
智能工程/智能产业专家

张健

2018年10月25日   来源:     

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 作者

组织机构

主管单位
中华人民共和国科学技术部
国家科学技术奖励工作办公室
主办单位
中国人工智能学会

奖励资质