A Two-Stage Stopping Criterion for a Series System under Imperfect Debugging