55 citations · 110 across the 10 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022
Demonstrating Software Reliability using Possibly Correlated Tests: Insights from a Conservative Bayesian Approach
Kizito Salako, Xingyu Zhao
This paper presents Bayesian techniques for conservative claims about software reliability, particularly when evidence suggests the software's executions are not statistically inde…
cs.SE2022★ 5 cited
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments
Kizito Salako, Xingyu Zhao
When assessing a software-based system, the results of Bayesian statistical inference on operational testing data can provide strong support for software reliability claims. For in…