A method and system for generating an optimized suite of test cases includes deriving a set of use case constraints and generating a test suite based upon the set of use case constraints.