Quantifying Software Reliability via Model-Counting

Mapping Intimacies ◽

10.1007/978-3-030-85172-9_4 ◽

2021 ◽

pp. 59-79

Author(s):

Samuel Teuber ◽

Alexander Weigl

Keyword(s):

Software Reliability ◽

Model Counting

Download Full-text

Software reliability allocation under an uncertain operational profile

Journal of the Operational Research Society ◽

10.1038/sj.jors.2600384 ◽

1997 ◽

Vol 48 (4) ◽

pp. 401-411 ◽

Cited By ~ 6

Author(s):

Y-W Leung

Keyword(s):

Software Reliability ◽

Reliability Allocation ◽

Operational Profile

Download Full-text

Editorial: Software reliability and metrics

Software Engineering Journal ◽

10.1049/sej.1990.0001 ◽

1990 ◽

Vol 5 (1) ◽

pp. 2

Author(s):

Barbara Kitchenham

Keyword(s):

Software Reliability

Download Full-text

Confidence Interval for a Software Reliability Model with a Bathtub-Shaped Fault Detection Rate

Journal of Applied Reliability ◽

10.33162/jar.2020.3.20.1.28 ◽

2020 ◽

Vol 20 (1) ◽

pp. 28-33

Author(s):

Dae Kyung Kim

Keyword(s):

Fault Detection ◽

Confidence Interval ◽

Software Reliability ◽

Detection Rate ◽

Reliability Model ◽

Software Reliability Model

Download Full-text

Software Reliability Analysis- A New Approach

International Journal of Scientific Research ◽

10.15373/22778179/feb2014/24 ◽

2012 ◽

Vol 3 (2) ◽

pp. 75-77

Author(s):

Taraq Hussain Sheakh ◽

Keyword(s):

Reliability Analysis ◽

Software Reliability ◽

New Approach

Download Full-text

Bayesian Optimal Release Time Based on Inflection S-Shaped Software Reliability Growth Model

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e92.a.1485 ◽

2009 ◽

Vol E92-A (6) ◽

pp. 1485-1493 ◽

Cited By ~ 4

Author(s):

Hee Soo KIM ◽

Dong Ho PARK ◽

Shigeru YAMADA

Keyword(s):

Growth Model ◽

Software Reliability ◽

Release Time ◽

Reliability Growth ◽

Software Reliability Growth Model ◽

Software Reliability Growth

Download Full-text

Markovian Modeling for Operational Software Reliability Evaluation with Systemability

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e95.a.1469 ◽

2012 ◽

Vol E95.A (9) ◽

pp. 1469-1477

Author(s):

Koichi TOKUNO ◽

Shigeru YAMADA

Keyword(s):

Software Reliability ◽

Reliability Evaluation

Download Full-text

Software Reliability Modeling: Comparative Analysis

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse/v7i5/0111 ◽

2017 ◽

Vol 7 (5) ◽

pp. 214-217

Author(s):

◽

Sona Malhotra ◽

Keyword(s):

Comparative Analysis ◽

Software Reliability ◽

Reliability Modeling

Download Full-text

Modelling and analysis of software reliability in digital instrumentation and control system of nuclear power plant

Industrial Electronics and Engineering ◽

10.2495/iciee140251 ◽

2014 ◽

Author(s):

Chao Guo ◽

Yu Liu ◽

Duo Li

Keyword(s):

Control System ◽

Power Plant ◽

Nuclear Power Plant ◽

Software Reliability ◽

Nuclear Power ◽

Digital Instrumentation ◽

And Control

Download Full-text

A multi-project comparison of software reliability models

10.2514/6.1977-1455 ◽

1977 ◽

Cited By ~ 6

Author(s):

A. SUKERT

Keyword(s):

Software Reliability ◽

Reliability Models ◽

Software Reliability Models

Download Full-text

An Approach of Software Reliability Evaluation in the Open Environment

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2010.00452 ◽

2010 ◽

Vol 33 (3) ◽

pp. 452-462 ◽

Cited By ~ 5

Author(s):

Wen LU ◽

Feng XU ◽

Jian LV

Keyword(s):

Software Reliability ◽

Reliability Evaluation ◽

Open Environment

Download Full-text