Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing.

Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa

Browse the full FORTE paper archive.