Test reliability and software maintenance
Richard G. Hamlet · 2005
A theory of program testing is presented, based on the idea of "reliable test set." Intuitively, a test is reliable if it exposes all errors that any test could find. To obtain a practical theory, two alterations of this idea are suggested: (1) strengthen the form of specification in the test, (2) restrict the kind of errors that the test must expose. Both of these changes have a natural application to program maintenance.