Combinatorial testing and model checking. (10th August 2022) - Le Traon, Yves; Xie, Tao