Automatic Generation of Floating-Point Test Data | IEEE Journals & Magazine | IEEE Xplore