Efficient Random Testing with Global Weights | AMiner