Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing | Publicación