Detecting anomalies in Kotlin code. - Timofey Bryksin; Victor Petukhov; Kirill Smirenko; Nikita Povarov (ISSTA/ECOOP Workshops, 2018)