Using proxy failure times with the Jelinski-Moranda software reliability model | IEEE Conference Publication | IEEE Xplore