Statistical Certification of Software Systems

DOI10.1080/03610910701790517MaRDI QIDQ5451146zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Bayesian statisticsmartingalestopping timesoftware testingsequential testingoptional stoppingsoftware releaseerror-free software

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 53571 (Why is no real title available?)
• scientific article; zbMATH DE number 233956 (Why is no real title available?)
• Estimating the number of undetected software errors via the correlated capture-recapture model
• Event-Altered Rate Models for General Reliability Analysis
• Oil exploration: sequential decisions in the face of uncertainty
• Optimal stopping in software testing
• Principles of combinatorics
• Sequential Searches: Proofreading, Russian Roulette, and the Incomplete q-Eulerian Polynomials Revisited
• Software reliability and cost models: Perspectives, comparison, and practice.

Cited in

(2)

• scientific article; zbMATH DE number 43135 (Why is no real title available?)
• Model Driven Testing Based on Test History

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)