QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 专题：西安理工大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Optimizing software rejuvenation policy based on CDM for cloud system 会议论文 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017, PhumKasekum, NR6, Siem Reap, Cambodia, 2017-06-18 作者:  Meng, Haining;  Zhang, Xu;  Zhu, Lei;  Wang, Lei;  Yang, Zijiang 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/20 Optimizing Software Rejuvenation Policy Based on CDM for Cloud System 会议论文 PROCEEDINGS OF THE 2017 12TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2017-01-01 作者:  Meng, Hailing;  Zhang, Xu;  Zhu, Lei;  Wang, Lei;  Yang, Zijiang 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/20 cloud computing  software maintenance  Cumulative damage model  cost rate   Explaining Software Failures by Cascade Fault Localization 期刊论文 2015, 卷号: 20 作者:  Yi, Qiuping;  Yang, Zijiang;  Liu, Jian;  Zhao, Chen;  Wang, Chao 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/20 Verification  Reliability  Algorithms  fault localization  weakest precondition  constraint  satisfiability modulo theory (SMT)   Directed test suite augmentation via exploiting program dependency 会议论文 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, 2014-05-31 作者:  Wang, Haijun;  Guan, Xiaohong;  Zheng, Qinghua;  Liu, Ting;  Shen, Chao 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/20 Reducing test cases with causality partitions 会议论文 26th International Conference on Software Engineering and Knowledge Engineering, SEKE 2014, Vancouver, BC, Canada, 2014-07-01 作者:  Wang, Haijun;  Guan, Xiaohong;  Zheng, Qinghua;  Liu, Ting;  Li, Xiangyang 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/20 A regression test case generation method guided with branch probability 期刊论文 2013, 卷号: 44, 页码: 317-322 作者:  Yu, Lechen;  Wang, Haijun;  Zheng, Qinghua;  Liu, Ting;  Huang, Xiaolong 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/20