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

相关作者

曾凡平
作品数：64被引量：192H指数：7
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
董齐兴
作品数：9被引量：15H指数：2
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：断言 软件测试 数据流分类 正则表达式 程序不变量
熊能
作品数：6被引量：5H指数：2
供职机构：中国科学院软件研究所
研究主题：程序不变量 测试用例集 合约 断言 自动转换
邓超强
作品数：8被引量：7H指数：2
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：程序不变量 断言 测试用例 测试用例集 合约
袁园
作品数：9被引量：14H指数：3
供职机构：中国科学技术大学
研究主题：测试用例 水系 程序不变量 不变量 负极集流体
作品列表