Procedures for Reducing the Size of Coverage-based Test Sets
Constraint-Based Automatic Test Data Generation