To spot and correct off-by-one bugs.
To spot performance bugs.
To spot and correct multi-thread bugs.
To spot and correct conceptual bugs.
To spot and correct arithmetical bug.
To spot and correct resource bugs.