@misc{14544, author = {Shaukat Ali and Tao Yue and Lionel Briand and Suneth Walawege}, title = {A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study}, year = {2012}, number = {2012-07}, publisher = {Simula Research Laboratory}, note = {This technical report is an early version of a published conference paper. The published version can be found here:https://www.simula.no/publications/product-line-modeling-and-configuration-methodology-support-model-based-testing}, }