* Covers program analysis, required in applying a test-case selection method. * Teaches the reader to modify the existing method or devise a new method if there is going to be a change in the language or paradigm used. * Coverage is independent of the programming languages & paradigms used to construct the program under test.