Retrascope

Насчет ReferenceGeneratorForEfsm я тоже так думаю.
И ещё, для единообразия, предлагаю переименовать этот класс в EfsmTestGenerator (мне слово Reference кажется не отражающим специфику данного Engine, да и For тут явно не в тему).

Мне самому "reference" не особо нравится, но ничего лучше я не придумал :)
Надо же как-то отметить, что это не наш генератор, а тот, который мы используем в качестве образца для сравнения.

Можно попробовать отразить в названии основную фишку чужого метода: EfsmBackJumpingTestGenerator\EfsmBackJumpTestGenerator
Или основную особенность генерируемых тестов: EfsmTransitionCoverageTestGenerator или как-то так.

Фамилию автора метода я бы в названии класса не писал:-)

Я подумаю над этим вопросом, но пока оставлю текущее название.

Мы обсудили вопрос про EfsmSimulator. Считаем, что на вход он должен принимать Sequence, и возвращать тоже Sequence.
Но необходимо учитывать, что EfsmSimulator хоть и является наследником Engine, но и обладает "внутренним состоянием", чего прочие существующие наследники Engine лишены.