Framework for modeling software reliability, using various testing-efforts and fault-detection rates | IEEE Journals & Magazine | IEEE Xplore