A discrete-time software reliability-growth model and its application for predicting the number of errors encountered during program testing K. Worwa — 2005 Control and Cybernetics