A small introduction to Property testing in Kotlin. It is depicted with a long explanation in my medium blog: https://medium.com/p/7eeac9959a85
It contains a class MathOps that needs to be tested. After finding some bugs on it, a fixed version exists in MathOpsFixed. There are tests for both libraries
Finally there are some examples of cool things that can ba done in PropertyTestTools