Test Selection Model for Highly Configurable Systems