[owickstrom]

Interesting. What kind of properties are you checking?

[thibran]

I use quicktheories (Java) and generate a determistic random test scenario, then I generate input values and run the tests. This way I can create tests that should fail or succeed, but differ in the steps executed and in the order with "random input".

[owickstrom]

OK. What kind of problems do you hit from third-party libraries with that?

[thibran]

Escaping problems or wrong handling of non-visible characters.