1 paper · 1 filter
Kizito Salako, Rabiu Tsoho Muhammad
For safety-critical software, operational data (e.g. sequences of software successes and failures) can provide strong statistical support for reliability claims. However, insuffici…