Базилевич, Р. П.; Франко, А. В. Підвищення ефективності символьного виконання шляхом кластеризації вхідних даних на основі складності генерування тестів. EEJET 2023, 4, 17-25.