Research Article

Robustness Analysis of Floating-Point Programs by Self-Composition

Figure 2

A floating-point program piecewise_linear.
789213.fig.002