An Input Space Modeling Methodology for Combinatorial Testing | IEEE Conference Publication | IEEE Xplore