中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [26]
长春光学精密机械与... [12]
数学与系统科学研究院 [6]
计算技术研究所 [2]
自动化研究所 [2]
重庆绿色智能技术研究... [1]
更多
采集方式
OAI收割 [50]
内容类型
会议论文 [32]
期刊论文 [18]
发表日期
2021 [3]
2020 [1]
2019 [1]
2018 [1]
2016 [1]
2014 [2]
更多
学科主题
Computer S... [3]
Science & ... [1]
筛选
浏览/检索结果:
共50条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
Truth Discovery by Claim and Source Embedding
期刊论文
OAI收割
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2021, 卷号: 33, 期号: 3, 页码: 1264-1275
作者:
Lyu, Shanshan
;
Ouyang, Wentao
;
Wang, Yongqing
;
Shen, Huawei
;
Cheng, Xueqi
  |  
收藏
  |  
Simulated Software Testing Process and Its Optimization Considering Heterogeneous Debuggers and Release Time
期刊论文
OAI收割
IEEE ACCESS, 2021, 卷号: 9, 页码: 38649-38659
作者:
Gao, Kaiye
  |  
收藏
  |  
Empirical Research on the Application of a Structure-Based Software Reliability Model
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 6, 页码: 1153-1162
作者:
Jie Zhang
;
Yang Lu
;
Ke Shi
;
Chong Xu
  |  
收藏
  |  
Hidden Markov Model Approach for Software Reliability Estimation with Logic Error
期刊论文
OAI收割
International Journal of Automation and Computing, 2020, 卷号: 17, 期号: 2, 页码: 305-320
作者:
R. Bharathi
;
R. Selvarani
  |  
收藏
  |  
On ranking functions for single-path linear-constraint loops
期刊论文
OAI收割
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:
Li, Yi
;
Wu, Wenyuan
;
Feng, Yong
  |  
收藏
  |  
RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs
期刊论文
OAI收割
IEEE ACCESS, 2018, 卷号: 6, 页码: 10432-10444
作者:
Zhong, Lujie
;
Yew, Pen-Chung
;
Huo, Wei
;
Li, Feng
;
Feng, Xiaobing
  |  
收藏
  |  
A general modeling and analysis framework for software fault detection and correction process
期刊论文
OAI收割
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 卷号: 26, 期号: 5, 页码: 351-365
作者:
Liu, Yu
;
Li, Duo
;
Wang, Lujia
;
Hu, Qingpei
  |  
收藏
  |  
SRLtoRadl生成系统及其范畴论语义
期刊论文
OAI收割
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
  |  
收藏
  |  
Key approaches for the research and development of functional safety transmitter and reliability analysis
会议论文
OAI收割
2014 International Conference on Industrial Electronics and Engineering (ICIEE 2014), Hong Kong, May 1-2, 2014
作者:
Xu AD(徐皑冬)
;
Liu LL(刘梁梁)
;
Song Y(宋岩)
;
Liu YF(刘元锋)
收藏
  |  
Enhancing software reliability estimates using modified adaptive testing
会议论文
OAI收割
Hu, Hai (1)
;
Jiang, Chang-Hai (1)
;
Cai, Kai-Yuan (1)
;
Wong, W. Eric (3)
;
Mathur, Aditya P. (4)
  |  
收藏
  |