Type Inference for Soft-Error Fault-Tolerance Prediction | IEEE Conference Publication | IEEE Xplore