Hélène Collavizza, Claude Michel, Michel Rueher. Searching input values hitting suspicious Intervals in programs with floating-point operations. 28th International Conference on Software and Systems (ICTSS-2016).
, Oct 2016, Graz, Austria. 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9976 ., 9976, pp 209 --217, 2016, LNCS. <http://ictss2016.ist.tugraz.at>