QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
Haskell
プログラム
のための
ランダム
テスト
ツールである
QuickCheck
の初出となる
論文
Property based testing
の考えはここから始まる