Error Locating Arrays, Adaptive Software Testing, and Combinatorial Group Testing