CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Introduction to the special issue on program debugging 其他
2018-01-01
作者:  Xie, Xiaoyuan;  Stumptner, Markus;  Tse, T. H.
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/05
Introduction to the special issue on program debugging 其他
2018-01-01
作者:  Xie, Xiaoyuan;  Stumptner, Markus;  Tse, T. H.
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/05
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/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  
On invariant checking 其他
2013-01-01
Zhang Zhihai; Kapur, Deepak
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/10
The analysis and design of weighbridge network monitoring system based on RFID 其他
2012-01-01
Yang, Lvqing; Wang, Hao; 杨律青
收藏  |  浏览/下载：4/0  |  提交时间：2015/07/22
Bug signature minimization and fusion 其他
2011-01-01
Lo, David; Cheng, Hong; Wang, Xiaoyin
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
VIDA: Visual Interactive Debugging 其他
2009-01-01
Hao, Dan; Zhang, Lingming; Zhang, Lu; Sun, Jiasu; Mei, Hong
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/10
Ontology model-based static analysis on java programs 其他
2008-01-01
Yu, Lian; Zhou, Jun; Yi, Yue; Li, Ping; Wang, Qianxiang
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/10

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