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

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

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