Text this: Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика