Базилевич, Р. П., і А. В. Франко. «Підвищення ефективності символьного виконання шляхом кластеризації вхідних даних на основі складності генерування тестів». Eastern-European Journal of Enterprise Technologies, т. 4, вип. 2 (124), Серпень 2023, с. 17-25, doi:10.15587/1729-4061.2023.286160.