Fig. 1From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceFinite State Machine MBack to article page