The effect of testing on the reliability of single version and 1-out-of-2 software systems | IEEE Conference Publication | IEEE Xplore