Interaction-based test-suite minimization | IEEE Conference Publication | IEEE Xplore