Using Coverage Information to Guide Test Case Selection in Adaptive Random Testing | IEEE Conference Publication | IEEE Xplore