Systematic Product Line Testing: Methodologies, Automation, and Industrial Application