A tool-based approach for software testing and validation
J. C. Huang, Peter Valdes, Raymond T. Yeh · AFIPS conference proceedings · 1984
This paper describes a methodology for software testing and validation. By recognizing that there are several major error types, this methodology uses different test strategies to expose a particular type of error. To facilitate these strategies, specific tools are needed. This paper not only identifies the desired tools, but also discusses the design concepts behind various tools as they have been built at International Software Systems, Inc. (ISSI).