CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
An Empirical Comparison of Compiler Testing Techniques 其他
2016-01-01
Chen, Junjie; Hu, Wenxiang; Hao, Dan; Xiong, Yingfei; Zhang, Hongyu; Zhang, Lu; Xie, Bing
收藏  |  浏览/下载：4/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
Transforming programs between apis with many-to-many mappings 其他
2016-01-01
Wang, Chenglong; Jiang, Jiajun; Li, Jun; Xiong, Yingfei; Luo, Xiangyu; Zhang, Lu; Hu, Zhenjiang
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
SWIN: Towards type-safe Java program adaptation between APIs 其他
2015-01-01
Li, Jun; Wang, Chenglong; Xiong, Yingfei; Hu, Zhenjiang
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Safe Memory-Leak Fixing for C Programs 其他
2015-01-01
Gao, Qing; Xiong, Yingfei; Mi, Yaqing; Zhang, Lu; Yang, Weikun; Zhou, Zhaoping; Xie, Bing; Mei, Hong
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
FLOW  TOOL  
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies 其他
2015-01-01
Zou, Daming; Wang, Ran; Xiong, Yingfei; Zhang, Lu; Su, Zhendong; Mei, Hong
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Search-based inference of polynomial metamorphic relations 其他
2014-01-01
Zhang, Jie; Chen, Junjie; Hao, Dan; Xiong, Yingfei; Xie, Bing; Zhang, Lu; Mei, Hong
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/17
SmartFixer: Fixing software configurations based on dynamic priorities 其他
2013-01-01
Wang, Bo; Passos, Leonardo; Xiong, Yingfei; Czarnecki, Krzysztof; Zhao, Haiyan; Zhang, Wei
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17
How does web service API evolution affect clients? 其他
2013-01-01
Li, Jun; Xiong, Yingfei; Liu, Xuanzhe; Zhang, Lu
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/17
Towards RSA-based high availability configuration in cloud 其他
2013-01-01
Wu, Yihan; Zhang, Ying; Xiong, Yingfei; Zhang, Xiaodong; Huang, Gang
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/17

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