Летичевский, А. А.     Парадигмы модельного и символьного тестирования программных систем [Текст] / А.А. Летичевский // Кибернетика и системный анализ. — К. : Институт кибернетики им. В.М. Глушкова НАН Украины, 2015. — № 5. — C. 31-44.