۱۴ - ۹منابع پیشنهادی

Pedro Vasconcelos; An Introduction to QuickCheck testing;

Koen Claessen and John Hughes; (2000)
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs

Pedro Vasconcelos; Verifying a Simiple Compiler Using Property-based Random Testing;