An efficient reduction approach to test suite | IEEE Conference Publication | IEEE Xplore