Bernard Botella Arnaud Gotlieb Claude Michel Symbolic execution of floating-point computations. 97-121 2006 16 Softw. Test., Verif. Reliab. 2 http://dx.doi.org/10.1002/stvr.333 db/journals/stvr/stvr16.html#BotellaGM06