Combinatorial Testing: A Key Element in Software Validation