به‌جای مثال‌های ثابت، یک خاصیت می‌نویسید (مثلاً دوبار معکوس کردن همان اصل را می‌دهد) و ابزار ورودی‌های تصادفی زیادی می‌سازد تا مثال نقض پیدا کند. Go ابزار testing/quick و کتابخانه‌ی rapid را دارد.