Test suite reduction with selective redundancy | IEEE Conference Publication | IEEE Xplore