PRASE: An Approach for Program Reliability Analysis with Soft Errors | IEEE Conference Publication | IEEE Xplore