您的位置： 专家智库 > >

袁园

作品数：9 被引量：14H指数：3
供职机构：中国科学技术大学更多>>
发文基金：安徽省自然科学基金更多>>
相关领域：自动化与计算机技术电气工程医药卫生文化科学更多>>

合作作者

领域

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

主题

  • 6个搜索
  • 6个不变量
  • 6个测试用例
  • 5个断言
  • 5个正则
  • 5个正则表达式
  • 5个生成测试用例
  • 5个时间开销
  • 5个数据流
  • 5个数据流分类
  • 5个排序
  • 5个启发式规则
  • 5个启发式搜索
  • 5个自动转换
  • 5个流分类
  • 5个开销
  • 5个合约
  • 5个二叉排序树
  • 5个IP数据
  • 5个测试用例集

机构

  • 8个中国科学技术...
  • 5个中国科学院软...
  • 1个广东工业大学
  • 1个中国科学院
  • 1个中山大学
  • 1个安徽省计算与...

资助

  • 7个安徽省自然科...
  • 4个国家自然科学...
  • 4个国家科技重大...
  • 1个广东省自然科...
  • 1个广东省科技计...
  • 1个广东省科技厅...

传媒

  • 7个小型微型计算...
  • 5个计算机应用与...
  • 5个2012中国...
  • 2个计算机应用
  • 1个太阳能学报
  • 1个科学通报
  • 1个电脑开发与应...
  • 1个中国科学技术...
  • 1个暖通空调
  • 1个天文学报
  • 1个电力系统自动...
  • 1个华中科技大学...
  • 1个电子技术（上...
  • 1个计算机工程
  • 1个仪表技术
  • 1个微型电脑应用
  • 1个中山大学学报...
  • 1个电力电子技术
  • 1个电源技术
  • 1个功能材料

地区

  • 7个安徽省
  • 1个北京市
共 8 条 记 录，以下是 1-8
曾凡平
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
发表作品相关人物供职机构所获资助研究领域
陈维
供职机构：中国科学技术大学
研究主题：水系 二次电池 氢气 太阳能 光伏系统
发表作品相关人物供职机构所获资助研究领域
邓超强
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：程序不变量 断言 测试用例 测试用例集 合约
发表作品相关人物供职机构所获资助研究领域
武飞
供职机构：中国科学技术大学
研究主题：正则表达式 数据流分类 IP数据 流分类 启发式搜索
发表作品相关人物供职机构所获资助研究领域
熊能
供职机构：中国科学院软件研究所
研究主题：程序不变量 测试用例集 合约 断言 自动转换
发表作品相关人物供职机构所获资助研究领域
董齐兴
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：断言 软件测试 数据流分类 正则表达式 程序不变量
发表作品相关人物供职机构所获资助研究领域
潘能刚
供职机构：中国科学技术大学
研究主题：测试用例 程序不变量 不变量 遗传算法 测试用例生成
发表作品相关人物供职机构所获资助研究领域
朱贯淼
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：FUZZING测试 FUZZING 黑盒 漏洞挖掘 污点
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0