Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing | IEEE Conference Publication | IEEE Xplore