Г65	Гончар, Л. І.     Модель програмного автомата Мілі та генетичний алгоритм для тестування програмного забезпечення [Текст] / Л.І. Гончар, С.Ю. Корогода // Сучасні комп'ютерні інформаційні технології : матеріали ІV Всеукр. шк.-семінару молодих вчен. і студ. АСІТ'2014 [м. Тернопіль, 16-17 трав. 2014 р.] / відп. за вип. М. П. Дивак. — Тернопіль : ТНЕУ, 2014. — С. 115-116.