Validation of a methodology for assessing software reliability | IEEE Conference Publication | IEEE Xplore