Test algebra for combinatorial testing | IEEE Conference Publication | IEEE Xplore