张健
【姓名】 张健
【职称】 研究员;
【研究领域】 计算机软件及计算机应用;计算机硬件技术;互联网技术;
【研究方向】 自动推理、约束满足、程序测试及形式化方法等
【发表文献关键词】 一阶谓词逻辑,局部搜索,约束满足问题,有限模型构造,一阶逻辑,形式规约,存在量词,约束求解,可满足性问题,传递闭包,皇后问题,不完备搜索方法,求解算法,测试用例,离散变量,ActiveX,子句,命题逻...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/34 26 25 9 597 9767
中国期刊全文数据库    共找到35篇
[1]胡梦泽;马旭桐;张豪;张健;.流敏感的C/C++程序编程风格检查方法[J]计算机科学.2025,(06)
[2]弓媛君;黄建军;游伟;石文昌;梁彬;边攀;张健;.最长公共子序列嵌入支持下的代码相似性检测[J]软件学报.2025,(11)
[3]李昌文;晏荣杰;张健;.AdvSce:面向自动驾驶系统的安全关键场景生成工具[J]中国科学:信息科学.2023,(04)
[4]黄沛;刘明昊;马菲菲;张健;.自动推理技术在求解组合数学难题中的研究进展[J]计算机科学.2023,(07)
[5]边攀;梁彬;黄建军;游伟;石文昌;张健;.RTDMiner:基于数据挖掘的引用计数更新缺陷检测方法[J]软件学报.2023,(10)
[6]张健;张超;玄跻峰;熊英飞;王千祥;梁彬;李炼;窦文生;陈振邦;陈立前;蔡彦;.程序分析研究进展[J]软件学报.2019,(01)
[7]吕成成;张龙;邓茜;曾凡平;严俊;张健;.Web应用程序搜索功能的组合测试[J]计算机科学与探索.2019,(11)
[8]燕季薇;黄晓伟;严俊;张健;杨红丽;.基于Android平台的黑盒测试生成工具的研究对比[J]计算机应用与软件.2017,(08)
[9]杨红丽;姜皓;秦胜潮;张健;严俊;.Android应用能耗漏洞分析技术综述[J]计算机应用与软件.2016,(09)
[10]金继伟;马菲菲;张健;.SMT求解技术简述[J]计算机科学与探索.2015,(07)
更多
承担国家科研项目    共找到1个
[1]张健;.经典逻辑和描述逻辑中的可满足性问题[A].中国科学院软件研究所;.项目经费 24万元.2006-03-27.资助文献数 0 篇
更多