"Property-based testing"って普及しますかねー?
Abstractivate: Property-based testing: what is it?
GOOS (Growing Object-Oriented Software, Guided By Tests)著者Nat Pryce氏も最近はproperty-based TDDのようです。
Mistaeks I Hav Made: Property Based TDD at SPA 2013
オブジェクト指向に関数的・宣言的な知見を取り入れていく流れが盛んだなーという印象です。Java 8のlambdaとかも。