Johannes Mayer: Adaptive Random Testing by Bisection and Localization. FATES 2005: 72-86