Software Testing Equivalence Partitioning