Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines