Statistical Certification of Software Systems
DOI10.1080/03610910701790517zbMath1132.62086OpenAlexW2148354248MaRDI QIDQ5451146
Ronald Kruidhof, K. M. van Hee, Jan Friso Groote, Alessandro 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
stopping timemartingaleBayesian statisticssoftware testingsequential testingoptional stoppingsoftware releaseerror-free software
Bayesian inference (62F15) Sequential statistical analysis (62L10) Reliability, testing and fault tolerance of networks and computer systems (68M15) Reliability and life testing (62N05) Optimal stopping in statistics (62L15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Software reliability and cost models: Perspectives, comparison, and practice.
- Estimating the number of undetected software errors via the correlated capture-recapture model
- Principles of combinatorics
- Oil exploration: sequential decisions in the face of uncertainty
- Event-Altered Rate Models for General Reliability Analysis
- Sequential Searches: Proofreading, Russian Roulette, and the Incomplete q-Eulerian Polynomials Revisited
- Optimal stopping in software testing
This page was built for publication: Statistical Certification of Software Systems