Dynamic test profiles in adaptive random testing: A case study