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