Robustness Analysis of Floating-Point Programs by Self-Composition

Figure 1

Floating-point implementation for orientation test of 2D points.