اشکال‌زدایی

دیباگ با دستیار کدنویسی: از حدس تا شواهد

بازتولید، خط زمانی، فرضیه قابل‌ابطال و یک تغییر در هر مرحله، دستیار را از حدس‌سازی به حل مسئله می‌برد.