您的位置: 专家智库 > >

安徽省自然科学基金(11040606M131)

作品数:12 被引量:24H指数:3
相关作者:曾凡平董齐兴武飞邓超强王健康更多>>
相关机构:中国科学技术大学安徽省计算与通讯软件重点实验室中国科学院软件研究所更多>>
发文基金:安徽省自然科学基金国家自然科学基金国家科技重大专项更多>>
相关领域:自动化与计算机技术电子电信更多>>

领域

  • 15个自动化与计算...
  • 2个电气工程
  • 2个医药卫生
  • 1个经济管理
  • 1个天文地球
  • 1个电子电信
  • 1个建筑科学
  • 1个核科学技术
  • 1个一般工业技术
  • 1个文化科学
  • 1个自然科学总论
  • 1个理学

主题

  • 9个测试用例
  • 8个断言
  • 8个正则
  • 8个正则表达式
  • 8个软件测试
  • 8个搜索
  • 8个流分类
  • 7个不变量
  • 7个程序不变量
  • 6个生成测试用例
  • 6个时间开销
  • 6个数据流
  • 6个数据流分类
  • 6个排序
  • 6个开销
  • 5个隐式
  • 5个应用程序
  • 5个启发式规则
  • 4个映射
  • 4个映射关系

机构

  • 13个中国科学技术...
  • 7个中国科学院软...
  • 1个北京航空航天...
  • 1个中国科学院
  • 1个安徽省计算与...
  • 1个中国科学院大...

资助

  • 15个安徽省自然科...
  • 8个国家自然科学...
  • 5个国家科技重大...
  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个江苏省自然科...
  • 1个浙江省自然科...
  • 1个国家教育部博...
  • 1个香港特区政府...
  • 1个中国科学院战...
  • 1个中国科学院知...
  • 1个中央高校基本...

传媒

  • 15个小型微型计算...
  • 6个计算机应用与...
  • 5个计算机应用
  • 5个2012中国...
  • 3个电子技术(上...
  • 3个计算机科学与...
  • 2个计算机学报
  • 2个计算机科学
  • 2个信息安全学报
  • 1个工程热物理学...
  • 1个电脑开发与应...
  • 1个物理学报
  • 1个中国科学技术...
  • 1个计算机研究与...
  • 1个电力系统自动...
  • 1个华中科技大学...
  • 1个计算机工程与...
  • 1个计算机工程
  • 1个仪表技术
  • 1个微型电脑应用

地区

  • 12个安徽省
  • 3个北京市
15 条 记 录,以下是 1-10
曾凡平
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
发表作品相关人物供职机构所获资助研究领域
董齐兴
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:断言 软件测试 数据流分类 正则表达式 程序不变量
发表作品相关人物供职机构所获资助研究领域
武飞
供职机构:中国科学技术大学
研究主题:正则表达式 数据流分类 IP数据 流分类 启发式搜索
发表作品相关人物供职机构所获资助研究领域
邓超强
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:程序不变量 断言 测试用例 测试用例集 合约
发表作品相关人物供职机构所获资助研究领域
熊能
供职机构:中国科学院软件研究所
研究主题:程序不变量 测试用例集 合约 断言 自动转换
发表作品相关人物供职机构所获资助研究领域
张辉
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:TTCN-3 自由电子激光 C++ 火灾 语言转换
发表作品相关人物供职机构所获资助研究领域
王健康
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:ANDROID 遍历 GUI 函数调用图 调用图
发表作品相关人物供职机构所获资助研究领域
袁园
供职机构:中国科学技术大学
研究主题:测试用例 水系 程序不变量 不变量 负极集流体
发表作品相关人物供职机构所获资助研究领域
张震宇
供职机构:中国科学院软件研究所
研究主题:软件测试 测试用例 排序 谓词 测试用例集
发表作品相关人物供职机构所获资助研究领域
彭凌
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:ANDROID 非线性 权限 软件测试 映射关系
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0