A software reliability growth model for test-effort management | IEEE Conference Publication | IEEE Xplore