Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Information Processing Letters
An Extended Domain-Based Model of Software Reliability
IEEE Transactions on Software Engineering
Comparing test data adequacy criteria
ACM SIGSOFT Software Engineering Notes
Some observations on partition testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Recalibrating Software Reliability Models
IEEE Transactions on Software Engineering
Reliability Analysis of Large Software Systems: Defect Data Modeling
IEEE Transactions on Software Engineering
A Bayesian Estimation Method for the Failure Rate of a Possibly Correct Program
IEEE Transactions on Software Engineering
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
The new math of computer programming
Communications of the ACM
Testing for software reliability
Proceedings of the international conference on Reliable software
Specifying operational profiles for modules
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Faults on its sleeve: amplifying software reliability testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Partition testing, stratified sampling, and cluster analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Optimal Test Distributions for Software Failure Cost Estimation
IEEE Transactions on Software Engineering
Software testability: an experiment in measuring simulation reusability
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
On the Use of Testability Measures for Dependability Assessment
IEEE Transactions on Software Engineering
Total Variance Approach to Software Reliability Estimation
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software
IEEE Transactions on Software Engineering
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving models of software fault-proneness
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
The ability of directed tests to predict software quality
Annals of Software Engineering
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering
Software Testability: The New Verification
IEEE Software
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing
IEEE Transactions on Software Engineering
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities
IEEE Transactions on Software Engineering
Scenario-Based System Assessment
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Structural Software Reliability Estimation
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
The Effectiveness of Statistical Testing when Applied to Logic Systems
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Estimating Bounds on the Reliability of Diverse Systems
IEEE Transactions on Software Engineering
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Integrating Approximation Methods with the Generalized Proportional Sampling Strategy
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Reliability Prediction of a Trajectory Verification System
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
On reducing the sensitivity of software reliability to variations in the operational profile
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Building a System Failure Rate Estimator by Identifying Component Failure Rates
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Failure Correlation in Software Reliability Models
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Testing Nondeterminate Systems
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
"Good enough" software reliability estimation plug-in for Eclipse
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Toward a Software Testing and Reliability Early Warning Metric Suite
Proceedings of the 26th International Conference on Software Engineering
Computing system reliability using Markov chain usage models
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
A new approach for software testability analysis
Proceedings of the 28th international conference on Software engineering
Usage-based statistical testing of web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
From Requirements to Statistical Testing of Embedded Systems
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
IEEE Transactions on Software Engineering
Predicting vulnerable software components
Proceedings of the 14th ACM conference on Computer and communications security
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Towards a unified fault-detection benchmark
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
My model checker died!: how well did it do?
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Software reliability estimation under certainty: generalization of the method of moments
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Improved usage model for web application reliability testing
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Finding upper bounds for software failure probabilities – experiments and results
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Software reliability assessment based on the evaluation of operational experience
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
International Journal of Embedded and Real-Time Communication Systems
Performance and reliability prediction for evolving service-oriented software systems
Empirical Software Engineering
Hi-index | 0.00 |
Formulas for estimating the probability of failure when testing reveals no errors are introduced. These formulas incorporate random testing results, information about the input distribution; and prior assumptions about the probability of failure of the software. The formulas are not restricted to equally likely input distributions, and the probability of failure estimate can be adjusted when assumptions about the input distribution change. The formulas are based on a discrete sample space statistical model of software and include Bayesian prior assumptions. Reusable software and software in life-critical applications are particularly appropriate candidates for this type of analysis.