您的位置： 专家智库 > >

蔡彦

作品数：12 被引量：41H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 8个自动化与计算...
  • 4个文化科学
  • 2个化学工程
  • 2个机械工程
  • 2个理学
  • 1个经济管理
  • 1个生物学
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个动力工程及工...
  • 1个电子电信
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个农业科学
  • 1个一般工业技术
  • 1个政治法律
  • 1个艺术
  • 1个历史地理

主题

  • 8个软件质量
  • 8个软件质量保障
  • 6个代码
  • 6个软件测试
  • 5个迭代
  • 5个源代码
  • 4个调度
  • 4个形式化
  • 3个代码覆盖
  • 3个形式化方法
  • 2个代码覆盖率
  • 2个代码克隆
  • 2个代码实现
  • 2个低速
  • 2个递归
  • 2个调优
  • 2个迭代式
  • 2个定理
  • 2个定位控制
  • 2个读操作

机构

  • 2个国防科学技术...
  • 2个中国科学院软...
  • 1个大连理工大学
  • 1个大连医科大学
  • 1个清华大学
  • 1个武汉大学
  • 1个教育部
  • 1个中国科学院
  • 1个中国矿业大学
  • 1个中国人民大学
  • 1个中国医学科学...
  • 1个中国医学科学...
  • 1个并行与分布处...
  • 1个天津市生物医...
  • 1个北京协和医学...

资助

  • 8个国家重点基础...
  • 8个国家自然科学...
  • 5个国家高技术研...
  • 2个国家科技支撑...
  • 2个国家教育部博...
  • 1个北京市自然科...
  • 1个湖南省自然科...
  • 1个中国博士后科...
  • 1个天津市应用基...
  • 1个天津市自然科...
  • 1个国家杰出青年...
  • 1个国家科技重大...
  • 1个创新研究群体...
  • 1个公益性行业科...
  • 1个国家科技部专...
  • 1个教育部“新世...
  • 1个辽宁省自然科...
  • 1个天津市应用基...
  • 1个天津市应用基...
  • 1个协和青年科研...

传媒

  • 8个软件学报
  • 6个计算机研究与...
  • 4个计算机科学
  • 3个计算机学报
  • 3个计算机应用
  • 3个计算机科学与...
  • 2个清华大学学报...
  • 2个计算机工程与...
  • 2个小型微型计算...
  • 2个软件导刊
  • 2个计算机教育
  • 2个中国科学：信...
  • 2个信息安全学报
  • 1个中国大学生就...
  • 1个中国动脉硬化...
  • 1个新华文摘
  • 1个高等学校化学...
  • 1个实用肿瘤学杂...
  • 1个化学工业与工...
  • 1个中华整形外科...

地区

  • 5个北京市
  • 2个湖南省
  • 1个湖北省
共 8 条 记 录，以下是 1-8
张健
供职机构：中国科学院软件研究所
研究主题：仿真测试 软件测试 自动驾驶系统 测试数据 自动驾驶
发表作品相关人物供职机构所获资助研究领域
陈振邦
供职机构：国防科学技术大学
研究主题：配置项 遍历 规约 污点 自动机
发表作品相关人物供职机构所获资助研究领域
陈立前
供职机构：国防科学技术大学
研究主题：配置项 污点 浮点 插桩 遍历
发表作品相关人物供职机构所获资助研究领域
张超
供职机构：清华大学
研究主题：轨道角动量 存储介质 电磁波 电子设备 二进制程序
发表作品相关人物供职机构所获资助研究领域
梁彬
供职机构：中国人民大学信息学院
研究主题：漏洞 细粒度 漏洞检测 植入 ANDROID
发表作品相关人物供职机构所获资助研究领域
玄跻峰
供职机构：武汉大学计算机学院
研究主题：软件质量保障 测试集 测试工具 自动化单元 JAVA
发表作品相关人物供职机构所获资助研究领域
窦文生
供职机构：中国科学院软件研究所
研究主题：代码 分布式系统 下载 自动化测试方法 自动化测试
发表作品相关人物供职机构所获资助研究领域
李炼
供职机构：中国科学院计算技术研究所
研究主题：污点分析 ANDROID 分析技术 污点 隐私
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0