A Testing Method for Object-oriented Program based on Adaptive Random Testing with Variable Probability | IEEE Conference Publication | IEEE Xplore