Property-based Testing in Java: Property-driven Development

It’s been a few months that I wrote about stateful properties . Since then I’ve given a couple of workshops about property-based testing and jqwik has reached version 1.1.3 . However, while I’m getting more and more committed to PBT in my side-projects when developing software for clients my main approach is still Test-Driven Development with mostly example-based test cases. Wouldn’t it be nice if both techniques could be merged into some sort of grand unified development approach? It turns out that they do