Practical Floating-Point Tests with Integer Code.

Anthony Romano

Browse the full VMCAI paper archive.