Random Testing: Theoretical Results and Practical Implications | IEEE Journals & Magazine | IEEE Xplore