Fig. 7From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceExecution times versus the number of statesBack to article page