Toward a more reliable theory of software reliability | IEEE Journals & Magazine | IEEE Xplore