陈鑫
作品数: 78被引量:184H指数:6
  • 所属机构:南京大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

李宣东
作品数:300被引量:846H指数:16
供职机构:南京大学
研究主题:自动机 面向对象 混成系统 MDA 实时系统
汤恩义
作品数:36被引量:82H指数:5
供职机构:南京大学
研究主题:制导 软件测试 浮点 图形界面 网络爬虫
潘敏学
作品数:107被引量:16H指数:3
供职机构:南京大学
研究主题:控件 神经网络 脚本 图形界面 测试用例生成
周岩
作品数:11被引量:21H指数:2
供职机构:南京大学
研究主题:自动生成方法 测试数据 源代码 测试数据自动生成 向量
王林章
作品数:145被引量:395H指数:11
供职机构:南京大学
研究主题:制导 数据竞争 自动机 数据流分析 规约