Test algebra for concurrent combinatorial testing