A discrete software reliability growth model with testing effort | IEEE Conference Publication | IEEE Xplore