A martingale approach to software reliability
Giorgio Koch, Peter Spreij · Advances in Applied Probability · 1984
Consider the following situation: a computer program which presumably contains a certain number of errors is tested over a given period of time, in order to infer some conclusions about its behaviour when used by future customers.