Code coverage of adaptive random testing