Повернутися до подробиць статті Підвищення ефективності символьного виконання шляхом кластеризації вхідних даних на основі складності генерування тестів Завантажити Завантажити PDF