Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Kotlin is a relatively new programming language from JetBrains: its development started in 2010 with release 1.0 done in early 2016. The Kotlin compiler, while slowly and steadily…