A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs | IEEE Conference Publication | IEEE Xplore