袁园
作品数： 9被引量：14H指数：3
  • 所属机构:中国科学技术大学
  • 所在地区:安徽省 合肥市
  • 研究方向:自动化与计算机技术
  • 发文基金:安徽省自然科学基金

相关作者

曾凡平
作品数：64被引量：196H指数：8
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
陈维
作品数：99被引量：543H指数：12
供职机构：中国科学技术大学
研究主题：水系 二次电池 氢气 太阳能 电池
邓超强
作品数：8被引量：7H指数：2
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：程序不变量 断言 测试用例 测试用例集 合约
武飞
作品数：11被引量：18H指数：2
供职机构：中国科学技术大学
研究主题：正则表达式 数据流分类 IP数据 流分类 启发式搜索
熊能
作品数：6被引量：5H指数：2
供职机构：中国科学院软件研究所
研究主题：程序不变量 测试用例集 合约 断言 自动转换
作品列表