Etiket: equivalence partitioning in software testing