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