MINTS: A general framework and tool for supporting test-suite minimization | IEEE Conference Publication | IEEE Xplore