Statistics for Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs