[2301.08134] A Benchmark Generator for Combinatorial Testing