Contract Based Testing mit Kotlin