A methodology for controlling the size of a test suite | IEEE Conference Publication | IEEE Xplore