1. In a computing environment, a method comprising: receiving an original model comprising a plurality of elements representing operations to test; producing a plurality of subsequences from the elements, each subsequence corresponding to at least two elements; and generating a suite of test cases from the subsequences, such that any valid subsequence appears at least once among the test cases in the suite.