Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic.

Christophe Denis, Pablo de Oliveira Castro, Eric Petit

Browse the full ARITH paper archive.