TY  - SER
AU  - Shimeali, Timothy J.
AU  - Leveson, Nancy G.
TI  - An Empirical Comparison of Software Fault Tolerance and Fault Elimination
KW  - Assertions
KW  - Back-To-Back Starting
KW  - Static Tearing
ER  -