Efficient Techniques for Automatic Verification-Oriented Test Set Optimization