Property-based Testing in Java: How to Specify it

The last article in the series was about driving implementation with properties in a TDD-like way. Today’s article is short, but not because there’s so little to say but because I put most of the contents to a repository and a URL of its own. How to specify it! In Java! A few weeks ago John Hughes , unarguably one of the most prominent practitioners of Property-based Testing, published How to Specify it! . In this paper he presents “five generic approaches to writing specifications”. I found this paper so f