An empirical study of the reliability of UNIX utilities | Synapse