Kotlin is currently the most hyped language on the JVM. With good reason. The language is largely compatible with Java and comes with a nice set of features to make programming on the JVM less burdensome and more functional.

However, there is not much coverage of Property-based Testing (PBT) focusing on Kotlin. This article wants to fill the gap a little bit. It covers the application of PBT in Kotlin using jqwik and jqwik’s Kotlin module.