Adaptive Random Testing with Enlarged Input Domain | IEEE Conference Publication | IEEE Xplore