Robustness Analysis of Floating-Point Programs by Self-Composition

Figure 3

Self-composition of the piecewise_linear program for robustness analysis.