Output Sampling for Output Diversity in Automatic Unit Test Generation