Proving memory safety of floating-point computations by combining static and dynamic program analysis.

Patrice Godefroid, Johannes Kinder

Browse the full ISSTA paper archive.