Joshua Bloch (author of Effective Java) discovered a bug in the Binary Search algorithm, which can lead to a thrown instance of the ArrayIndexOutOfBoundsException class in Java.

The algorithm functions as follows: It compares the target value with the middle element of the dataset. If the target matches the middle element, the search is declared successful.