基本信息
张健  男  博导  中国科学院软件研究所
电子邮件: zj@ios.ac.cn
通信地址: 中关村南四街四号
邮政编码: 100190

研究领域

软件工程、人工智能(自动推理;约束求解;软件测试;代码静态分析)

招生信息

   
招生专业
083500-软件工程
081202-计算机软件与理论
招生方向
程序分析与软件测试
自动推理与约束求解
软件测试

教育背景

   
学历
-- 研究生
学位
-- 博士

教授课程

软件测试与分析

专利与奖励

奖励信息
(1) 王选新闻科学技术奖, 一等奖, 其他, 2017
(2) 中创软件人才奖, , 其他, 2000
专利成果
( 1 ) 基于附加测试的多参数系统错误模式快速定位方法, 发明, 2011, 第 2 作者, 专利号: 201010539469.4
( 2 ) 一种多参量软件测试方法, 发明, 2010, 第 2 作者, 专利号: 201010526993.8

出版信息

   
发表论文
(1) Efficient testing of GUI applications by event sequence reduction, Science of Computer Programming, 2021, 通讯作者
(2) Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks, CP, 2020, 第 6 作者
(3) Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts, ICSE, 2020, 通讯作者
(4) SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed, ESEC/FSE, 2020, 第 6 作者
(5) Static Asynchronous Component Misuse Detection for Android Applications, ESEC/FSE, 2020, 通讯作者
(6) Combinatorial Testing of Browsers' Support for Multimedia, IEEE Transactions on Reliability, 2020, 第 5 作者
(7) Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness, IEEE Transactions on Reliability, 2020, 第 6 作者
(8) DroidLeaks: a comprehensive database of resource leaks in Android apps, Empirical Software Engineering, 2019, 第 8 作者
(9) Analyses for specific defects in android applications: a survey, Frontiers of Computer Science, 2019, 第 4 作者
(10) Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing, ISSAC, 2019, 第 5 作者
(11) Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis, QRS, 2019, 第 4 作者
(12) SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs, ASE, 2019, 通讯作者
(13) Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring, IJCAI, 2019, 通讯作者
(14) Approximating Integer Solution Counting via Space Quantification for Linear Constraints, IJCAI, 2019, 通讯作者
(15) 程序分析研究进展, 软件学报, 2019, 第 1 作者
(16) Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android, ISSTA, 2019, 通讯作者
(17) Characterizing and identifying misexposed activities in Android applications, ASE, 2018, 通讯作者
(18) Checking Activity Transition Systems with Back Transitions Against Assertions, ICFEM, 2018, 通讯作者
(19) LAND: a user-friendly and customizable test generation tool for Android apps, ISSTA, 2018, 第 5 作者
(20) Generating minimal test set satisfying MC/DC criterion via SAT based approach, ACM SAC, 2018, 第 3 作者
(21) A New Probabilistic Algorithm for Approximate Model Counting, IJCAR, 2018, 第 4 作者
(22) Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing, IJCAR, 2018, 通讯作者
(23) InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications, Proc. of SANER, 2017, 第 5 作者
(24) Weak QMV algebras and some ring-like structures, Soft Computing, 2017, 第 4 作者
(25) Combinatorial Testing on Implementations of HTML5 Support, Proc. ICST Workshops, 2017, 第 4 作者
(26) Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps, Proc. QRS, 2017, 第 4 作者
(27) Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment, Proc. CP, 2017, 第 7 作者
(28) Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation, Proc. COMPSAC, 2017, 第 5 作者
(29) Symbolic Execution with Value-range Analysis for Floating-point Exception Detection, Proc. APSEC, 2017, 第 3 作者
(30) A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization, Journal of Systems and Software, 2017, 第 4 作者
(31) Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps, IEEE Trans. Software Engineering, 2016, 第 7 作者
(32) Fixing Resource Leaks in Android Apps with Light-weight Static Analysis and Low-overhead Instrumentation, Proc. ISSRE, 2016, 第 4 作者
(33) A deployable sampling strategy for data race detection, Proc. FSE, 2016, 第 2 作者
(34) Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search, Proc. CP, 2016, 第 7 作者
(35) Relda2: an effective static analysis tool for resource leak detection in Android apps, Proc. ASE, 2016, 第 5 作者
(36) Melton: a practical and precise memory leak detection tool for C programs, Frontiers of Computer Science, 2015, 第 2 作者
(37) Boundary Value Analysis in Automatic White-box Test Generation, Proc. ISSRE, 2015, 第 3 作者
(38) Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion, Proc. SERE 2014, 2014, 第 3 作者
(39) Canalyze: a static bug-finding tool for C programs, Proc. ISSTA 2014, 2014, 第 2 作者
(40) Generating combinatorial test suite using combinatorial optimization, Journal of Systems and Software, 2014, 第 4 作者
(41) Characterizing and Detecting Resource Leaks in Android Applications, Proc. ASE 2013, 2013, 第 2 作者
(42) Faulty Interaction Identification via Constraint Solving and Optimization, Proc. SAT 2012, LNCS 7317, 2012, 第 1 作者
(43) Integrating Standard Dependency Schemes in QCSP Solvers , Journal of Computer Science and Technology, 2012, 第 3 作者
(44) Tuple density: a new metric for combinatorial test suites , Proc. ICSE (NIER track), 2011, 第 2 作者
(45) Program analysis: from qualitative analysis to quantitative analysis, Proc. ICSE (NIER track), 2011, 第 2 作者
(46) A Memory Model for Static Analysis of C Programs, LNCS 6415, 2010, 第 3 作者
(47) Combinatorial testing with shielding parameters, Proc. APSEC, 2010, 第 3 作者
(48) 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 作者

科研活动

   
科研项目
( 1 ) 安全攸关软件系统的构造与质量保障方法研究, 主持, 国家级, 2014-01--2018-08
( 2 ) 软件安全性分析的关键技术与工具, 主持, 国家级, 2015-01--2016-12
( 3 ) 大规模软件的自动化分析与测试, 主持, 部委级, 2017-05--2022-05

指导学生

已指导学生

徐贵红  博士研究生  081202-计算机软件与理论  

严俊  博士研究生  081202-计算机软件与理论  

季晓慧  博士研究生  081202-计算机软件与理论  

李韶华  硕士研究生  081203-计算机应用技术  

石玉祥  硕士研究生  081202-计算机软件与理论  

刘生  博士研究生  081202-计算机软件与理论  

许中兴  博士研究生  081202-计算机软件与理论  

贾祥雪  博士研究生  081202-计算机软件与理论  

阮辉  硕士研究生  081202-计算机软件与理论  

陈柏强  博士研究生  081202-计算机软件与理论  

马菲菲  博士研究生  081202-计算机软件与理论  

卢闰明  硕士研究生  081202-计算机软件与理论  

赵勇  硕士研究生  081202-计算机软件与理论  

郭超容  硕士研究生  081202-计算机软件与理论  

张智强  博士研究生  081202-计算机软件与理论  

张艳丽  硕士研究生  085211-计算机技术  

葛存菁  博士研究生  081202-计算机软件与理论  

吴兴明  博士研究生  081202-计算机软件与理论  

吴添勇  博士研究生  083500-软件工程  

燕季薇  硕士研究生  083500-软件工程  

刘洁瑞  硕士研究生  085211-计算机技术  

张龙  博士研究生  081202-计算机软件与理论  

吕亦奇  硕士研究生  085211-计算机技术  

杨玲  硕士研究生  085211-计算机技术  

王平  硕士研究生  083500-软件工程  

李润东  硕士研究生  085211-计算机技术  

现指导学生

黄沛  博士研究生  081202-计算机软件与理论  

潘临杰  博士研究生  083500-软件工程  

刘明昊  博士研究生  081202-计算机软件与理论  

邓茜  博士研究生  083500-软件工程  

马旭桐  博士研究生  083500-软件工程  

刘晴  硕士研究生  085212-软件工程  

刘力铭  硕士研究生  085212-软件工程  

章新  硕士研究生  083500-软件工程  

张豪  博士研究生  081202-计算机软件与理论  

王伟  硕士研究生  085212-软件工程  

贾富琦  博士研究生  081200-计算机科学与技术  

王思琪  硕士研究生  085400-电子信息  

崔保全  博士研究生  083500-软件工程  

张丽玮  硕士研究生  083500-软件工程  

工作经历

1999年起,任中国科学院软件研究所研究员;
2000年起,任中国科学院软件研究所博士生导师。
2004年起,任《计算机学报》编委;
2010年起,任 JCST 编委、Frontiers of CS 编委。