Constraint handling in combinatorial test generation using forbidden tuples | IEEE Conference Publication | IEEE Xplore