Spot-Check Testing: How Sampling Makes Expensive Automated Tests Practical