Etiket: equivalence partitioning with real time example