Exploiting the Saturation Effect in Automatic Random Testing of Android Applications