Characterization of Test-sets for Overlap-free Morphisms

We give a characterization of all the sets X such that any morphism h on {a, b} is overlap-free if and only if for all x in X, h(x) is overlap-free. As a consequence, we observe the particular case X = {bbabaa} which improves the previous characterization of Berstel-Seebold.