Up a level |
Salako, Kizito, Strigini, Lorenzo and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2021)
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence.
In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021-6-21 - 2021-6-24, Taipei, Taiwan.
Salako, Kizito ORCID: 0000-0003-0394-7833 and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2024)
Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach.
Quality and Reliability Engineering International, 40 (3).
pp. 1197-1220.
Salako, Kizito and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2023)
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.
IEEE Transactions on Software Engineering, 49 (4).
pp. 1-9.
Salako, Kizito and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2022)
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.
IEEE Transactions on Software Engineering.