Combinatorial methods for testing Internet of Things smart home systems. (28th December 2021)