"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とかも。