Get started
Keyword

software reliability analysis

Description: The systematic study of software failure behavior and dependability, using analytical or statistical methods to evaluate reliability.
OpenAlex ID: keywords/software-reliability-analysis
Software reliability analysis models
1984 · Mitsuru Ohba · IBM Journal of Research and Development · 576
Inflection S-Shaped Software Reliability Growth Model
1984 · Mitsuru Ohba · Lecture notes in economics and mathematical systems · 275
A study of the modeling and analysis of software fault‐detection and fault‐correction processes
2006 · M. Xie, Q. P. Hu, et al. · Quality and Reliability Engineering International · 114
Reliability analysis in Symbolic PathFinder
2013 · Antonio Filieri, Corina S. Pasareanu, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 73
Quantifying information leaks using reliability analysis
2014 · Quoc-Sang Phan, Pasquale Malacaria, et al. · 46
Testing-coverage Dependent Software Reliability Growth Modeling
2004 · SHINJI INOUE, SHIGERU YAMADA · International Journal of Reliability Quality and Safety Engineering · 36
Efficient Software Reliability Analysis With Correlated Component Failures
2013 · Lance Fiondella, Sanguthevar Rajasekaran, et al. · IEEE Transactions on Reliability · 34
An approach to software reliability prediction and quality control
1972 · Norman F. Schneidewind · AFIPS Fall Joint Computer Conference (FJCC) · 32
A Novel Model for Component-Based Software Reliability Analysis
2008 · Fan Zhang, Xingshe Zhou, et al. · 25
Software Reliability Analysis with Various Metrics using Ensembling Machine Learning Approach
2023 · P. William, Shalini Singh, et al. · 20
Test-effort dependent software reliability measurement
1991 · SHIGERU YAMADA, JUN HISHITANI, et al. · International Journal of Systems Science · 20
A Survey of Software Reliability Models
2013 · Pai, Ganesh J. · arXiv (Cornell University) · 18
PDF
Efficient Parametric Model Checking Using Domain Knowledge
2019 · Radu Calinescu, Colin Paterson, et al. · IEEE Transactions on Software Engineering · 16
PDF
Software FMEA approach based on failure modes database
2009 · Baiqiao Huang, Hong Zhang, et al. · International Conference on Reliability, Maintainability and Safety · 16
Software reliability measurement
1990 · W.W. Everett · IEEE Journal on Selected Areas in Communications · 16
C0 Coverage-measure and Testing-domain Metrics Based on a Software Reliability Growth Model
2002 · TAKAJI FUJIWARA, SHIGERU YAMADA · International Journal of Reliability Quality and Safety Engineering · 15
Reliability Analysis of Component-Based Software Based on Rewrite Logic
2008 · Dong Wang, Ning Huang · 13
Experiments with a symbolic evaluation system
1976 · William E. Howden · AFIPS National Computer Conference and Exposition (NCC) · 12
PDF
An Integrated Risk Assessment Process of Safety-Related Digital I&C Systems in Nuclear Power Plants
2022 · Hongbin Zhang, Han Bao, et al. · Nuclear Technology · 11
PDF
Subformula Caching for Model Counting and Quantitative Program Analysis
2019 · William Eiers, Seemanta Saha, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 11
Next Generation and Advanced Network Reliability Analysis
2018 · Syed Riffat Ali · Signals and communication technology · 11
Reliability analysis of Digital Instrumentation and Control software system
2017 · Bowen Zou, Ming Yang, et al. · Progress in Nuclear Energy · 11
A quantitative analysis of the F18 flight control system
1993 · Stacy Doyle, Joanne Dugan, et al. · AIAA Computing in Aerospace Conference · 11
A Methodology for Software Reliability Prediction and Quality Control
1972 · Normam F. Schneidewind · 11
Synthesizing Nested Ranking Functions for Loop Programs via SVM
2019 · Yi Li, Xuechao Sun, et al. · Lecture notes in computer science · 9
Works count: 159
Citation count: 1,561
Year
Topic
Type