Avoiding Equivalent Test Executions in Software Product Line Testing | IEEE Journals & Magazine | IEEE Xplore