A stochastic formulation of successive software releases with faults severity | IEEE Conference Publication | IEEE Xplore