JDK Contract Tests
JDK Contract Tests are JUnit5 contract tests for common JDK interfaces and patterns. They provide an easy way to test the behavior contracts of common Interfaces provided in the JDK, and some simple design pattern contracts as well.
Home
JDK Contract Tests's landing page is the best place to go for more information.