Repairing Over-Constrained Models for Combinatorial Robustness Testing | IEEE Conference Publication | IEEE Xplore