Incorporating code coverage in the reliability estimation for fault-tolerant software | IEEE Conference Publication | IEEE Xplore