CORC

在结果中检索

CORC

浏览/检索结果: 共123条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
基于概率模型检验的Web服务系统可靠性分析 期刊论文
东南大学学报（自然科学版）, 2017, 卷号: 47, 页码: 132-139
作者:  高洪皓[1];  开金宇[2];  周家安[3];  缪淮扣[4];  黄婉秋[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
一种基于状态图的代码化验证方法 专利
申请日期: 2016-01-01,
作者:  高洪皓[1];  缪淮扣[2];  许杰品[3];  曾红卫[4];  开金宇[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
抽象精化和可满足性结合的EFSM 模型测试用例优化生成 期刊论文
计算机学报, 2016, 卷号: 39, 页码: 2236-2252
作者:  陆公正[1];  缪淮扣[2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
一种基于模型的侵入式灰盒组装验证方法 专利
申请日期: 2015-01-01,
作者:  高洪皓[1];  陈颖[2];  田野[3];  曾红卫[4];  缪淮扣[5]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26
Web服务计算组合流程QoS验证 期刊论文
计算机科学, 2015, 卷号: 42, 页码: 120-123,147
作者:  开金宇[1];  缪淮扣[2];  高洪皓[3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30
基于历史信息的自适应测试用例优先级技术 期刊论文
计算机科学, 2015, 卷号: 42, 页码: 154-158
作者:  常龙辉[1];  缪淮扣[2];  肖蕾[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30
面向概率服务组合系统的需求描述 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 页码: 2504-2509
作者:  开金宇[1];  缪淮扣[2];  高洪皓[3]
收藏  |  浏览/下载：5/0  |  提交时间：2019/04/30
基于Ajax技术的Web应用的建模与测试用例生成 期刊论文
计算机科学, 2014, 卷号: 41, 页码: 219-223,244
作者:  贺涛[1];  缪淮扣[2];  钱忠胜[3]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30
表格语言的分析比较 期刊论文
计算机科学, 2014, 卷号: 41, 页码: 23-26
作者:  陈怡海[1];  缪淮扣[2]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30
基于CEGAR的Web应用验证 期刊论文
计算机学报, 2014, 卷号: 37, 页码: 976-991
作者:  高洪皓[1];  缪淮扣[2];  曾红卫[3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30

©版权所有 ©2017 CSpace - Powered by CSpace