A dynamic program analysis to find floating-point accuracy problems
Florian Benz, Andreas Hildebrandt, Sebastian Hack · 2012
Programs using floating-point arithmetic are prone to accuracy problems caused by rounding and catastrophic cancellation. These phenomena provoke bugs that are notoriously hard to track down: the program does not necessarily crash and the results are not necessarily obviously wrong, but often subtly inaccurate. Further use of these values can lead to catastrophic errors.