Евтушенко Н.В., Ермаков А.Д. К повышению полноты тестов, построенных по модели расширенного автомата // № 7, 2016