Research group

Verification or Program Analysis Lab


Azat AbdullinActive

Concolic (CONCrete + symbOLIC) testing is an interesting hybrid technique for software testing and verification which combines the best parts of static and dynamic approaches to program analysis. Our project called KEX is an attempt to apply concolic testing to Kotlin.

In the end, we plan to create an end-to-end framework for developing different kinds of dynamic and static analyses for Kotlin and other JVM languages.