Property-based Testing mit JUnit QuickCheck

Invariante Eigenschaften aller Ergebnisse lassen sich gut testen (Abb. 4).