An Empirical Study of the Reliability of UNIX Utilities. - Barton P. Miller; Lars Fredriksen; Bryan So (Commun. ACM, 1990)