language: en

AN ALGORITHM FOR GENERATING EXECUTABLE ASSERTIONS FOR FAULT TOLERANCE

Martina Schollmeyer, Hanan Lutfiyya and Bruce McMillin
CSC-92-01 March 21, 1992
Department of Computer Science University of Missouri at Rolla
Rolla, Missouri 65401

[This work was supported in part by the National Science Foundation under Grant Numbers MIP-8909749 and CDA-8820714, and in part by the AMOCO Faculty Development Program.]