您的位置: 专家智库 > >

严俊

作品数:24 被引量:102H指数:4
供职机构:中国科学院软件研究所更多>>
发文基金:国家自然科学基金国家高技术研究发展计划中国科学院知识创新工程领域前沿项目更多>>
相关领域:自动化与计算机技术天文地球医药卫生更多>>

领域

  • 27个自动化与计算...
  • 8个电子电信
  • 6个经济管理
  • 5个天文地球
  • 5个医药卫生
  • 4个机械工程
  • 4个电气工程
  • 4个文化科学
  • 3个交通运输工程
  • 3个自然科学总论
  • 3个理学
  • 2个建筑科学
  • 2个农业科学
  • 2个一般工业技术
  • 1个生物学
  • 1个化学工程
  • 1个矿业工程
  • 1个动力工程及工...
  • 1个航空宇航科学...
  • 1个核科学技术

主题

  • 9个软件测试
  • 9个网络
  • 9个ANDROI...
  • 8个代码
  • 8个搜索
  • 8个测试用例
  • 6个形式化
  • 6个应用程序
  • 6个ANDROI...
  • 5个硬件
  • 5个映射
  • 5个用户
  • 5个神经网
  • 5个自动机
  • 5个仿真
  • 5个测试集
  • 4个移动互联
  • 4个移动互联网
  • 3个断言
  • 3个信号

机构

  • 15个中国科学院软...
  • 6个北京工业大学
  • 6个中国科学技术...
  • 5个中国科学院
  • 5个中国科学院大...
  • 2个北京大学
  • 2个中国科学院研...
  • 2个中国科学院国...
  • 1个北京邮电大学
  • 1个大连理工大学
  • 1个暨南大学
  • 1个解放军信息工...
  • 1个北京交通大学
  • 1个深圳大学
  • 1个苏州大学
  • 1个武汉大学
  • 1个浙江大学
  • 1个中国矿业大学
  • 1个重庆师范大学
  • 1个华北电力大学

资助

  • 25个国家自然科学...
  • 7个国家高技术研...
  • 6个国家重点基础...
  • 5个安徽省自然科...
  • 5个国家科技重大...
  • 4个国家教育部博...
  • 3个北京市自然科...
  • 3个中国博士后科...
  • 3个中国科学院战...
  • 3个中国科学院知...
  • 2个江苏省自然科...
  • 2个北京市教委科...
  • 2个贵州省科技计...
  • 2个中国科学院知...
  • 2个中国载人航天...
  • 2个中央高校基本...
  • 2个中国科学院重...
  • 1个北京市科技新...
  • 1个北京市科委基...
  • 1个铁道部科技研...

传媒

  • 10个计算机应用
  • 8个计算机应用与...
  • 8个计算机科学
  • 7个计算机研究与...
  • 6个小型微型计算...
  • 6个计算机科学与...
  • 5个软件学报
  • 5个计算机工程与...
  • 4个清华大学学报...
  • 4个计算机学报
  • 4个中国科学:信...
  • 3个计算机工程
  • 3个计算机工程与...
  • 3个天文研究与技...
  • 3个深空探测学报
  • 3个2012中国...
  • 2个通信学报
  • 2个天文学报
  • 2个北京工业大学...
  • 2个电子技术(上...

地区

  • 21个北京市
  • 5个安徽省
  • 1个湖北省
  • 1个云南省
  • 1个广东省
29 条 记 录,以下是 1-10
张健
供职机构:中国科学院软件研究所
研究主题:一阶逻辑 程序静态分析 软件测试 软件开发 并发程序
发表作品相关人物供职机构所获资助研究领域
杨红丽
供职机构:北京工业大学
研究主题:XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
发表作品相关人物供职机构所获资助研究领域
阮辉
供职机构:中国科学院软件研究所
研究主题:测试工具 自动化单元 JAVA 测试数据 死循环
发表作品相关人物供职机构所获资助研究领域
曾凡平
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
发表作品相关人物供职机构所获资助研究领域
晏荣杰
供职机构:中国科学院软件研究所
研究主题:软件复用 软件体系结构 仿真测试 自动驾驶系统 软件工程
发表作品相关人物供职机构所获资助研究领域
张智强
供职机构:中国科学院软件研究所
研究主题:测试用例 被控系统 二分搜索 黑盒 快速定位方法
发表作品相关人物供职机构所获资助研究领域
张艳丽
供职机构:中国科学院软件研究所
研究主题:测试用例 测试用例集 被覆 抛弃
发表作品相关人物供职机构所获资助研究领域
彭凌
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:ANDROID 非线性 权限 软件测试 映射关系
发表作品相关人物供职机构所获资助研究领域
郭涛
供职机构:北京邮电大学
研究主题:漏洞分析 信息安全 源代码 污点 二进制文件
发表作品相关人物供职机构所获资助研究领域
卢琼
供职机构:中国科学院软件研究所
研究主题:MC/DC 代码转换 数据生成方法 数据集合 软件测试
发表作品相关人物供职机构所获资助研究领域
共3页<123>
聚类工具0