A tool-based approach for software testing and validation. - J. C. Huang 001; Peter Valdes; Raymond T. Yeh (AFIPS National Computer Conference, 1984)