CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Poster : Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study 其他
2017-01-01
Zhou, Jianyi; Hao, Dan
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
How Do Assertions Impact Coverage-based Test-Suite Reduction? 其他
2017-01-01
Chen, Junjie; Bai, Yanwei; Hao, Dan; Zhang, Lingming; Zhang, Lu; Xie, Bing
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Test Case Prioritization for Compilers: A Text-Vector Based Approach 其他
2016-01-01
Chen, Junjie; Bai, Yanwei; Hao, Dan; Xiong, Yingfei; Zhang, Hongyu; Zhang, Lu; Xie, Bing
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Empirical Evaluation of Test Coverage for Functional Programs 其他
2016-01-01
Cheng, Yufeng; Wang, Meng; Xiong, Yingfei; Hao, Dan; Zhang, Lu
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
VFCC: A verification framework of cache coherence using parallel simulation 其他
2013-01-01
Xiong, Qiaoli; Yi, Jiangfang; Song, Tianbao; Xie, Zichao; Tong, Dong
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/13
A petri net-based method for data validation of web services composition 其他
2010-01-01
Xu, Chunxiang; Qu, Wanling; Wang, Hanpin; Wang, Zizhen; Ban, Xiaojuan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
Program Verification by Reduction to Semi-algebraic Systems Solving 其他
2008-01-01
Xia, Bican; Yang, Lu; Zhan, Naijun
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Program Verification by Reduction to Semi-algebraic Systems Solving 其他
2008-01-01
Xia, Bican; Yang, Lu; Zhan, Naijun
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Formal Use of Design Patterns and Refactoring 其他
2008-01-01
Quan, Long; Qiu Zongyan; Liu, Zhiming
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
An approach to check choreography with channel passing in WS-CDL 其他
2008-01-01
Chao, Cai; Zongyan, Qiu
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/12

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