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

相关作者

曾凡平
作品数:64被引量:192H指数:7
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
武飞
作品数:11被引量:18H指数:2
供职机构:中国科学技术大学
研究主题:正则表达式 数据流分类 IP数据 流分类 启发式搜索
邓超强
作品数:8被引量:7H指数:2
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:程序不变量 断言 测试用例 测试用例集 合约
熊能
作品数:6被引量:5H指数:2
供职机构:中国科学院软件研究所
研究主题:程序不变量 测试用例集 合约 断言 自动转换
张辉
作品数:19被引量:41H指数:4
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:TTCN-3 自由电子激光 C++ 火灾 语言转换