Statistical Certification of Software Systems
DOI10.1080/03610910701790517zbMATH Open1132.62086OpenAlexW2148354248MaRDI QIDQ5451146FDOQ5451146
Authors: Jan Friso Groote, K. M. van Hee, Ronald Kruidhof, A. Di Bucchianico
Publication date: 18 March 2008
Published in: Communications in Statistics. Simulation and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/03610910701790517
Recommendations
- scientific article; zbMATH DE number 1057896
- Statistical methods in software engineering. Reliability and risk
- scientific article; zbMATH DE number 43135
- Publication:4889851
- scientific article; zbMATH DE number 512447
- Statistical simulation and prediction in software reliability
- Optimized statistical analysis of software trustworthiness attributes
Bayesian statisticsmartingalestopping timesoftware testingsequential testingoptional stoppingsoftware releaseerror-free software
Bayesian inference (62F15) Reliability and life testing (62N05) Sequential statistical analysis (62L10) Optimal stopping in statistics (62L15) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Cites Work
- Optimal stopping in software testing
- Principles of combinatorics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Estimating the number of undetected software errors via the correlated capture-recapture model
- Oil exploration: sequential decisions in the face of uncertainty
- Event-Altered Rate Models for General Reliability Analysis
- Software reliability and cost models: Perspectives, comparison, and practice.
- Sequential Searches: Proofreading, Russian Roulette, and the Incomplete q-Eulerian Polynomials Revisited
Cited In (2)
This page was built for publication: Statistical Certification of Software Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5451146)