Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing