QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 学科主题：Computer Science     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 JUTA:一个Java自动化单元测试工具 期刊论文 计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848 严俊; 郭涛; 阮辉; 玄跻峰 收藏  |  浏览/下载：24/0  |  提交时间：2011/05/23 Java单元测试  动态测试  静态测试  程序分析  符号执行Automatic testing  Data flow analysis  Errors  Java programming language  Regression analysis  Steel bridges   对时间自动机进行空性检测的过程和改进 期刊论文 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL   improved bounded model checking for the universal fragment of ctl 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109 Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui 收藏  |  浏览/下载：9/0  |  提交时间：2011/03/18 software verification  model checking algorithm  bounded model checking  ACTL  SAT