Etiket: equivalence partitioning automatically covers boundary value analysis