机构

• 软件研究所 [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条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 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   |  收藏  |  浏览/下载：43/0  |  提交时间：2021/12/01 Reliability  Object oriented modeling  Iterative methods  Probabilistic logic  Data science  Computer aided software engineering  Data models  Truth discovery  crowdsourcing  representation learning   Simulated Software Testing Process and Its Optimization Considering Heterogeneous Debuggers and Release Time 期刊论文  OAI收割 IEEE ACCESS, 2021, 卷号: 9, 页码: 38649-38659 作者:  Gao, Kaiye   |  收藏  |  浏览/下载：22/0  |  提交时间：2021/04/26 Software  Fault detection  Biological system modeling  Software reliability  Licenses  Software testing  Resource management  Fault detection  optimization  reliability  simulation  software debugging   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   |  收藏  |  浏览/下载：21/0  |  提交时间：2021/06/11 Algebraic method  reliability evaluation  software metrics  software reliability   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   |  收藏  |  浏览/下载：18/0  |  提交时间：2021/02/22 Hidden Markov model (HMM)  reliability  logic error  safety critical  software failure.   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   |  收藏  |  浏览/下载：28/0  |  提交时间：2020/08/24 Software reliability  Program termination  Linear ranking functions  Farkas' lemma   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   |  收藏  |  浏览/下载：26/0  |  提交时间：2019/12/10 Accuracy  fault detection  scalability  sensitivity  software reliability   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   |  收藏  |  浏览/下载：27/0  |  提交时间：2018/07/30 fault detection process  fault correction process  software reliability  weighted least-square estimation   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：31/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   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(刘元锋) 收藏  |  浏览/下载：17/0  |  提交时间：2016/09/13 functional safety  self-diagnostic  redundancy  software safety  reliability block diagram   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)   |  收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16 Software engineering  Software reliability  Software testing