机构

• 软件研究所 [10]
• 计算技术研究所 [2]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [13]

内容类型

• 会议论文 [9]
• 期刊论文 [4]

发表日期

• 2013 [3]
• 2011 [3]
• 2010 [2]
• 2009 [3]
• 2008 [1]
• 1999 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种基于程序变异的软件错误定位技术 期刊论文  OAI收割 计算机学报, 2013, 卷号: 36, 期号: 11, 页码: 2236-2244 贺韬; 王欣明; 周晓聪; 李文军; 张震宇; 张成志   |  收藏  |  浏览/下载：33/0  |  提交时间：2014/12/16 软件调试  错误定位  程序变异分析  软件工程  software debugging  fault localization  program mutation analysis  software engineering   A general noise-reduction framework for fault localization of Java programs 会议论文  OAI收割 Xu, Jian (1); Zhang, Zhenyu (2); Chan, W.K. (3); Tse, T.H. (4); Li, Shanping (1)   |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 Fault localization  Key block chain  Noise reduction  Program debugging   Research and development of a novel DeviceNet-Oriented interface system for IC equipment 会议论文  OAI收割 4th International Conference on Manufacturing Science and Technology, ICMST 2013, Dubai, United arab emirates, August 3-4, 2013 作者:  Jin N(金妮);  Xu AD(徐皑冬);  Liu MZ(刘明哲);  Wang K(王锴) 收藏  |  浏览/下载：16/0  |  提交时间：2013/12/26 Computer debugging  Hardware  Manufacture  Program debugging   Dependence-based Multi-level Tracing and Replay for Wireless Sensor Networks Debugging 期刊论文  OAI收割 ACM SIGPLAN NOTICES, 2011, 卷号: 46, 期号: 5, 页码: 91-100 作者:  Wang, Man;  Li, Zhiyuan;  Li, Feng;  Feng, Xiaobing;  Bagchi, Saurabh   |  收藏  |  浏览/下载：18/0  |  提交时间：2019/12/16 Algorithms  Reliability  Wireless sensor network  program debugging  invariants  dependence analysis  resource constrains   non-parametric statistical fault localization 期刊论文  OAI收割 Journal of Systems and Software, 2011, 卷号: 84, 期号: 6, 页码: 885-905 Zhang Zhenyu; Chan W.K.; Tse T.H.; Yu Y.T.; Hu Peifeng   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/10/10 Program debugging   pafl: fault localization via noise reduction on coverage vector 会议论文  OAI收割 SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering, Miami, FL, United states, July 7, 20 Zhao Lei; Zhang Zhenyu; Wang Lina; Yin Xiaodan   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08 Acoustic noise measurement  Knowledge engineering  Program debugging  Software engineering  Vectors   enhance fault localization using a 3d surface representation 会议论文  OAI收割 2nd International Conference on Computer Research and Development, ICCRD 2010, Kuala Lumpur, Malaysia, May 7, 201 Shi Qiong; Zhang Zhenyu; Liu Zhifang; Gao Xiaopeng   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/03/31 Data mining  Program debugging  Software engineering  Three dimensional  Visualization   static detection of unsafe use of variables in java program 会议论文  OAI收割 Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, Xi'an, China, 40842 Wu Xiaoquan; Wei Jun   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/31 Computer software selection and evaluation  Java programming language  Object oriented programming  Program debugging  Ubiquitous computing   a sentence generation algorithm for testing grammars 会议论文  OAI收割 IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24, Zheng Lixiao; Wu Duanyi   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/03/20 by-now folklore sentence generation algorithm  complicated derivation structure  context-free grammar testing  error location  grammar debugging  length control mechanism  user validation  context-free grammars  program debugging  program testing  program verification   bounded model checking of actl formulae 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/03/20 bounded model checking encoding method  bounded model verification  computation tree logic  error-hunting  encoding  formal logic  formal verification  program debugging  tree data structures