Исследовательская группа

Лаборатория верификации и анализа программ

KEX

Руководитель проекта: Азат Абдуллин
Статус: Активный

Concolic (портмоне от CONCrete + symbOLIC) тестирование --- это гибридный подход к тестированию ПО, комбинирующий лучшие элементы статических и динамических анализов. В рамках проекта KEX наша лаборатория пытается применить concolic тестирование к языку Kotlin.

В долгосрочной перспективе KEX должен стать фреймворком, на базе которого можно будет разрабатывать различные динамические и статические анализы для языка Kotlin и прочих JVM языков.

Участники