CORC

在结果中检索

CORC

浏览/检索结果: 共31条，第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
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
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
High-confidence software evolution 期刊论文
Science China(Information Sciences), 2016
Qing GAO; Jun LI; Yingfei XIONG; Dan HAO; Xusheng XIAO; Lu ZHANG; Tao XIE
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors 其他
2016-01-01
Wang, Ran; Zou, Daming; He, Xinrui; Xiong, Yingfei; Zhang, Lu; Huang, Gang
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
High-confidence software evolution 期刊论文
Science China-Information Sciences, 2016
Gao, Qing; Li, Jun; Xiong, Yingfei; Hao, Dan; Xiao, Xusheng; Taneja, Kunal; Zhang, Lu; Xie, Tao
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/04
High-confidence software evolution 期刊论文
Science China. Information Science, 2016
Gao Qing; Li Jun; Xiong Yingfei; Hao Dan; Xiao Xusheng; Taneja Kunal; Zhang Lu; Xie Tao
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Model synchronization based on triple graph grammars: correctness, completeness and invertibility 期刊论文
software and systems modeling, 2015
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/11
Range Fixes: Interactive Error Resolution for Software Configuration 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2015
Xiong, Yingfei; Zhang, Hansheng; Hubaux, Arnaud; She, Steven; Wang, Jie; Czarnecki, Krzysztof
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03

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