Etiket: equivalence partitioning in software engineering