An Improved Bound on the Length of Checking Experiments for Sequential Machines with Counter Cycles

The bound on the length of checking experiments derived by Murakami et al. [1] is improved by using a more efficient output specification in the counter cycle.