Generate a compact set of test cases out of combinations of simpler data with coverage guarantees.