Embedded Functions for Constraints and Variable Strength in Combinatorial Testing | IEEE Conference Publication | IEEE Xplore