|
已选(0)清除
条数/页： 排序方式：
|
| 程序不变量到断言的自动转换方法研究及其应用 期刊论文
计算机应用与软件, 2012, 期号: 11, 页码: 177-180,189
邓超强; 曾凡平; 武飞; 熊能; 董齐兴
  收藏 | 浏览/下载：6/0 | 提交时间：2013/09/17
|
| 基于覆盖率驱动的SoC验证技术研究 期刊论文
微电子学与计算机, 2011
朱车壮; 陈岚; 冯燕
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/13
|
| 星载计算机软件容错技术 学位论文
硕士, 北京: 中国科学院研究生院, 2010
曹东坡
收藏 | 浏览/下载：14/0 | 提交时间：2010/06/16
|
| JUTA:一个Java自动化单元测试工具 期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
收藏 | 浏览/下载：24/0 | 提交时间：2011/05/23
|
| 一种基于内部类的断言框架研究与实现 期刊论文
微计算机信息, 2010, 页码: 82-83+79
屈国栋; 李安; 张洪群
收藏 | 浏览/下载：20/0 | 提交时间：2015/01/04
|
| 一种基于内部类的断言测试框架研究与实现 学位论文
硕士, 遥感卫星地面站: 中国科学院遥感卫星地面站, 2009
屈国栋
收藏 | 浏览/下载：11/0 | 提交时间：2014/12/08
|
| 基于SAML技术的访问控制系统跨域单点登录方案及测试研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
宋杰
收藏 | 浏览/下载：10/0 | 提交时间：2011/03/17
|
| 海螺沟现代冰川对气候变化的响应 会议论文
青藏高原东缘环境演化与森林生态学术研讨会, 四川成都, 2001-8-26～31
作者: 张文敬; 李同阳; 李伟
收藏 | 浏览/下载：82/0 | 提交时间：2015/04/27
|
