Test Algebra for Concurrent Combinatorial Testing by ...