Module Test Case Generation. - Daniel Hoffman; C. Brealey (Symposium on Testing, Analysis, and Verification, 1989)