I. Introduction
A Software Product Line (SPL) is defined as a set of products that share common features (functionalities of the system, which are visible to the user) [1]. The main goal is to provide reuse by building a kernel of artifacts that are common in a specific domain, as well as, to define variability points, from which a family of products, can be derived. The Feature Model (FM) is the model usually adopted by many SPL methodologies [2] to represent all the SPL variabilities and commonalities, and has been used by many authors to derive software products for the SPL testing.