Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance Ragini NarasimhanDaniel J. RosenkrantzS. S. Ravi OriginalPaper Pages: 289 - 323