Automatic Generation of a Compact Test Suit