Theories of Program Testing and the Application of Revealing Subdomains
Elaine J. Weyuker, Thomas J. Ostrand · IEEE Transactions on Software Engineering · 1980
The theory of test data selection proposed by Goodenough and Gerhart is examined. In order to extend and refine this theory, the concepts of a revealing test criterion and a revealing subdomain are proposed. These notions are then used to provide a basis for constructing program tests.