On reliability assessment when a software-based system is replaced by a thought-to-be-better one

[1]  Lorenzo Strigini,et al.  Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing , 2019, 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).

[2]  M. Spivak.  Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus , 2019 .

[3]  Michael Fisher,et al.  Probabilistic Model Checking of Robots Deployed in Extreme Environments , 2018, AAAI.

[4]  David Wright,et al.  Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems , 2018, Reliab. Eng. Syst. Saf..

[5]  Xi Wang,et al.  An Empirical Study on the Correctness of Formally Verified Distributed Systems , 2017, EuroSys.

[6]  Dirk Beyer,et al.  Software Verification with Validation of Results - (Report on SV-COMP 2017) , 2017, TACAS.

[7]  David Wright,et al.  Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect" , 2017, Reliab. Eng. Syst. Saf..

[8]  Xingyu Zhao,et al.  On the probability of perfection of software-based systems , 2016 .

[9]  David Wright,et al.  Conservative claims about the probability of perfection of software-based systems , 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).

[10]  Bev Littlewood,et al.  Evaluating the Assessment of Software Fault-Freeness , 2014, ArXiv.

[11]  Bev Littlewood,et al.  Conservative Bounds for the pfd of a 1-out-of-2 Software-Based System Based on an Assessor's Subjective Probability of "Not Worse Than Independence" , 2013, IEEE Transactions on Software Engineering.

[12]  Lorenzo Strigini,et al.  Software Fault-Freeness and Reliability Predictions , 2013, SAFECOMP.

[13]  Corina S. Pasareanu,et al.  Reliability analysis in Symbolic PathFinder , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[14]  Bev Littlewood,et al.  Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect" , 2012, IEEE Transactions on Software Engineering.

[15]  David Wright,et al.  Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems , 2011, IEEE Transactions on Software Engineering.

[16]  David Wright,et al.  The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example , 2007, IEEE Transactions on Software Engineering.

[17]  R. Schilling.  Measures, Integrals and Martingales , 2006 .

[18]  G. Becker,et al.  Two-stage Bayesian models - application to ZEDB project , 2005, Reliab. Eng. Syst. Saf..

[19]  Lorenzo Strigini,et al.  Fault Tolerance Against Design Faults , 2005 .

[20]  Lorenzo Strigini,et al.  Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection , 1998, Softw. Test. Verification Reliab..

[21]  David Wright,et al.  Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software , 1997, IEEE Trans. Software Eng..

[22]  Kurt Pörn,et al.  The two-stage Bayesian method used for the T-Book application , 1996 .

[23]  David Wright,et al.  A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability , 1998, SAFECOMP.

[24]  David B. Dunson,et al.  Bayesian Data Analysis , 2010 .

[25]  Kim C. Border,et al.  Infinite Dimensional Analysis: A Hitchhiker’s Guide , 1994 .

[26]  Bev Littlewood,et al.  Validation of ultrahigh dependability for software-based systems , 1993, CACM.

[27]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[28]  Hermann Kopetz,et al.  Fault tolerance, principles and practice , 1990 .

[29]  Bev Littlewood,et al.  Conceptual Modeling of Coincident Failures in Multiversion Software , 1989, IEEE Trans. Software Eng..

[30]  Dudley,et al.  Real Analysis and Probability: Measurability: Borel Isomorphism and Analytic Sets , 2002 .

[31]  E. Siebert.  Weak convergence of measures , 1984 .

[32]  A. P. Dawid,et al.  Present position and potential developments: some personal views , 1984 .

[33]  Bev Littlewood,et al.  A Bayesian Reliability Growth Model for Computer Software , 1973 .