1. A method for generating an optimized suite of test cases comprising: deriving a set of use case constraints; and generating an optimized suite of test cases based upon the set of use case constraints.