×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [14]
内容类型
期刊论文 [10]
会议论文 [4]
发表日期
2019 [3]
2018 [3]
2017 [3]
2016 [1]
2015 [1]
2014 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共14条,第1-10条
帮助
限定条件
专题:北京航空航天大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
An Approach for Localization of Pointer Faults in Complex Data Structures
会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS, 2018-11-23
作者:
Huang, F.
;
Luo, J.
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/12/30
Data structures
Pattern matching
Program debugging
Semantics
Software engineering
Static analysis
Complex data structures
Constraint Solving
Debugging methods
Fault localization
General situation
Graph patterns
Software debugging
Subgraphs
C (programming language)
Stress Testing With Influencing Factors to Accelerate Data Race Software Failures
期刊论文
IEEE Transactions on Reliability, 2019
作者:
Qiu, K.
;
Zheng, Z.
;
Trivedi, K.S.
;
Yin, B.
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/30
Data structures
Estimation
Outages
Random access storage
Software reliability
Software testing
Stresses
Testing
Weibull distribution
Computer bugs
influencing factors
Instruction set
Random access memory
Relationship model
Software failure
Stress Testing
Time to failure
Program debugging
JSS special issue program debugging and repair
期刊论文
JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 卷号: 158
作者:
Mayer, Wolfgang
;
Jiang, Bo
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
A Lightweight and Flexible Tool for Distinguishing Between Hardware Malfunctions and Program Bugs in Debugging Large-Scale Programs
期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 71892-71905
作者:
Zhang, Guozhen
;
Liu, Yi
;
Yang, Hailong
;
Qian, Depei
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
Failure detection
hardware malfunction
parallel program bug
Research on UAV Adaptive Landing Gear Control System
会议论文
Journal of Physics: Conference Series
作者:
Hu, D.
;
Li, Y.
;
Xu, M.
;
Tang, Z.
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Artificial intelligence
Feedback
Landing
Landing gear (aircraft)
MATLAB
Program debugging
Three term control systems
Unmanned aerial vehicles (UAV)
Attitude sensors
Control robustness
Engineering applications
Force feedback
High-precision
Physical experiments
PID controllers
Simulink modeling
Adaptive control systems
A markov error propagation model for component-based software systems
期刊论文
International Journal of Performability Engineering, 2018, 卷号: 14, 页码: 2030-2039
作者:
Tian, Z.
;
Wang, Y.
;
Zong, P.
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/30
Chains
Errors
Integration testing
Markov processes
MATLAB
Software reliability
Component based systems
Component-based software systems
Connected component
Critical component
Error probabilities
Error propagation
Error propagation model
Error propagation probabilities
Program debugging
Special Issue on Program Verification, Automated Debugging and Symbolic Computation Foreword
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 1-3
作者:
Jebelean, Tudor
;
Li, Wei
;
Wang, Dongming
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Revision with probability
期刊论文
Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS), 2017, 卷号: 80, 页码: 87-100
作者:
Jiang, Dongchen
;
Li, Wei
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
Belief revision
Probability
Uncertainty
Revision with probability
会议论文
Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS), Beihang Univ, Beijing, PEOPLES R CHINA, 2017-05-01
作者:
Jiang, Dongchen
;
Li, Wei
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/30
Belief revision
Probability
Uncertainty
Automated program debugging for multiple bugs based on semantic analysis
会议论文
5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, 2015-11-06
作者:
Liu, Aishan
;
Li, Li
;
Luo, Jie
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
©版权所有 ©2017 CSpace - Powered by
CSpace