Improving tests coverage from the TCK