A Mapping Study on Software Product Lines Testing Tools