fig : a prototype tool for online verification of recovery mechanisms .
An Empirical Study of the Reliability of UNIX Utilities