An extended domain-based model of software reliability

DOI10.1109/32.6196MaRDI QIDQ3809248zbMATH OpenOpenAlexFDO

Authors Stewart N. Weiss, Elaine J. Weyuker

Publication date 1988

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.6196

zbMATH Keywords

input-domain-based modelsoperational distributionprobability of correctnesssoftware reliabilitytesting

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1324840
• Software reliability assessment with OR applications.
• Testing-domain dependent software reliability models
• scientific article; zbMATH DE number 1087007
• A general theory of software-reliability modeling

Cited in

(9)

• Testing-domain dependent software reliability models
• Optimal software implementation considering reliability and cost.
• An improved additive model for reliability analysis of software with modular structure
• Computing software reliability based on program invariants
• Multiple criteria determination of software reliability testing adequacy and its application
• scientific article; zbMATH DE number 4128363 (Why is no real title available?)
• Towards a conceptual framework of software run reliability modeling
• On the variability of fuzzy debugging
• Quantifying software reliability via model-counting

This page was built for publication: An extended domain-based model of software reliability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3809248)