On test case distributions of adaptive random testing