QuickCheck documentation

• QuickCheck The Property-Based Testing tool
• PULSE A User Level Scheduler for Erlang
• PULSE OTP OTP prepared modules for PULSE