Procedures for Reducing the Size of Coverage-based Test Sets
The Design And Analysis Of Computer Algorithms