Kotlin と jqwik で Property Based Testing
zenn.dev