Automated unit test generation for classes with environment dependencies
Random Testing: Theoretical Results and Practical Implications