Skip to Main content Skip to Navigation
Conference papers

Searching input values hitting suspicious Intervals in programs with floating-point operations

Hélène Collavizza 1 Claude Michel 1 Michel Rueher 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
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 differ from the path corresponding to the same computation with real numbers. A common practice when validating such programs consists in estimating the accuracy of floating-point computations with respect to the same sequence of operations in an ide-alized semantics of real numbers. However, state-of-the-art tools compute an over-approximation of the error introduced by floating-point operations. As a consequence, totally inappropriate behaviors of a program may be dreaded but the developer does not know whether these behaviors will actually occur, or not. In this paper, we introduce a new constraint-based approach that searches for test cases in the part of the over-approximation where errors due to floating-point arithmetic would lead to inappropriate behaviors.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
Contributor : Michel Rueher <>
Submitted on : Thursday, August 4, 2016 - 9:50:10 PM
Last modification on : Wednesday, October 14, 2020 - 4:23:31 AM
Long-term archiving on: : Saturday, November 5, 2016 - 12:32:07 PM


Files produced by the author(s)


  • HAL Id : hal-01224009, version 2
  • ARXIV : 1511.01080



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. pp 209 --217. ⟨hal-01224009v2⟩



Record views


Files downloads