A novel statistical approach for testing automotive control software