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

zbMATH Keywords

stopping timemartingaleBayesian statisticssoftware testingsequential testingoptional stoppingsoftware releaseerror-free software

Mathematics Subject Classification ID

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)

Model Driven Testing Based on Test History

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