CASRE: a computer-aided software reliability estimation tool | IEEE Conference Publication | IEEE Xplore