Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines | IEEE Conference Publication | IEEE Xplore