Toward an Encoding Approach to Interaction-based Test Suite Minimization | IEEE Conference Publication | IEEE Xplore