Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines | IEEE Conference Publication | IEEE Xplore