A Novel Statistical Approach for Testing Automotive Control Software