Procedures for Reducing the Size of Coverage-based Test Sets
Testing Programs with the Aid of a Compiler