吴文俊人工智能科学技术奖

基本信息

姓名 张健 性别
出生年月 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 作者

智库简介
专家智库经中国人工智能学会、吴文俊人工智能技术奖评审委员会指导,联合国内外人工智能领域知名学者组成,致力于开创人工智能科学与技术发展的研究机构。智库秉承客观、公正、创新、包容的宗旨,推行智能、前沿、绿色、可持续的创新理念。加强与国内外著名高校、研究机构和产业界进行合作交流,汇聚了超过千余名学界、科技、企业等领域影响卓越的专家担任顾问、学术委员和研究员,为我国智能时代的宏观决策、技术趋势提供智力支持和咨询服务。
战略合作
您是第 956828 位访问者
版权所有 © 中国人工智能学会
ICP备案号:京ICP备13016090号-5
技术支持:智能君博科技