Automated and scalable t-wise test case generation strategies for software product lines