fig : a prototype tool for online verification of recovery mechanisms .
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers