A Test Suite Minimization Technique for Testing Numerical Programs | IEEE Conference Publication | IEEE Xplore