-
严俊
-
-
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 张健
- 作品数:27被引量:248H指数:8
- 供职机构:中国科学院软件研究所
- 研究主题:一阶逻辑 程序静态分析 软件测试 软件开发 并发程序
- 杨红丽
- 作品数:29被引量:62H指数:5
- 供职机构:北京工业大学
- 研究主题:XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
- 阮辉
- 作品数:3被引量:22H指数:2
- 供职机构:中国科学院软件研究所
- 研究主题:测试工具 自动化单元 JAVA 测试数据 死循环
- 曾凡平
- 作品数:64被引量:190H指数:7
- 供职机构:中国科学技术大学计算机科学与技术学院
- 研究主题:测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
- 晏荣杰
- 作品数:28被引量:113H指数:6
- 供职机构:中国科学院软件研究所
- 研究主题:软件复用 软件体系结构 仿真测试 自动驾驶系统 软件工程