A number of test programs for floating-point arithmetic and math libraries are available from Netlib in the ucbtest package. These programs include versions of Paranoia, Z. Alex Liu's Berkeley Elementary Function test program, the IEEE test vectors, and programs based on number-theoretic methods developed by Prof. W. Kahan that generate hard test cases for correctly rounded multiplication, division, and square root.
ucbtest is located at http://www.netlib.org/fp/ucbtest.tgz.