Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation | IEEE Conference Publication | IEEE Xplore