Detecting a single fault in a deterministic finite automaton

06/01/2021

∙

by   Artur Polański, et al.

∙

0

∙

share

Given a deterministic finite automaton and its implementation with at most one single fault, that we can test on a set of inputs, we provide an algorithm to find a test set that guarantees finding whether the fault exists.