Skip to Main content Skip to Navigation
Conference papers

Searching Critical Values for Floating-Point Programs

Abstract : Programs with floating-point computations are often derived from mathematical models or designed with the semantics of the real numbers in mind. However, for a given input, the computed path with floating-point numbers may significantly differ from the path corresponding to the same computation with real numbers. As a consequence, developers do not know whether the program can actually produce very unexpected outputs. We introduce here a new constraint-based approach that searches for test cases in the part of the over-approximation where errors due to floating-point arithmetic could lead to unexpected decisions.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, November 21, 2017 - 3:52:44 PM
Last modification on : Tuesday, December 7, 2021 - 4:10:52 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Hélène Collavizza, Claude Michel, Michel Rueher. Searching Critical Values for Floating-Point Programs. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.209-217, ⟨10.1007/978-3-319-47443-4_13⟩. ⟨hal-01643710⟩



Les métriques sont temporairement indisponibles