Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce

Bilal Elghadyry, Faissal Ouardi, Zineb Lotfi, Sébastien Vérel. Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce. J. Big Data, 8(1):145, 2021. [doi]

Abstract

Abstract is missing.