Generación Automática de Casos de Prueba en Ingeniería del Producto en el Contexto de las Líneas de Producto Software.