LitmusKt: Concurrency Stress Testing for Kotlin

Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev +1

We present LitmusKt - the first tool for litmus testing concurrent programs in Kotlin. The tool's novelty also lies in the fact that Kotlin is a multiplatform language, i.e., it co…