Searching critical values for floating-point programs
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 …
designed with the semantics of the real numbers in mind. However, for a given input, the …
Generating test cases inside suspicious intervals for floating-point number programs
H Collavizza, C Michel, O Ponsini… - Proceedings of the 6th …, 2014 - dl.acm.org
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 …
designed with the semantics of the real numbers in mind. However, for a given input, the …
[PDF][PDF] Filtering floating-point constraints by maximum ULP
Floating-point computations are quickly finding their way in the design of safety-and mission-
critical systems, despite the fact that designing correct floating-point algorithms is …
critical systems, despite the fact that designing correct floating-point algorithms is …
Exploiting binary floating-point representations for constraint propagation
Floating-point computations are quickly finding their way in the design of safety-and mission-
critical systems, despite the fact that designing floating-point algorithms is significantly more …
critical systems, despite the fact that designing floating-point algorithms is significantly more …
Dedicated search strategies for finding critical counterexamples in programs with floating point computations
Constraint Programming (CP) is an efficient technique for searching counter-examples that
violate a property of the program to verify. However, the search process can become very …
violate a property of the program to verify. However, the search process can become very …
Achieving high coverage for floating-point code via unconstrained programming
Achieving high code coverage is essential in testing, which gives us confidence in code
quality. Testing floating-point code usually requires painstaking efforts in handling floating …
quality. Testing floating-point code usually requires painstaking efforts in handling floating …
Detecting High Floating-Point Errors via Ranking Analysis
Z Wang, X Yi, H Yu, B Yin - 2022 29th Asia-Pacific Software …, 2022 - ieeexplore.ieee.org
F1oating-point numbers use limited precision to represent real numbers and have rounding
errors, so floating-point calculations are inherently inaccurate. Revealing high floating-point …
errors, so floating-point calculations are inherently inaccurate. Revealing high floating-point …
A genetic algorithm for detecting significant floating-point inaccuracies
It is well-known that using floating-point numbers may inevitably result in inaccurate results
and sometimes even cause serious software failures. Safety-critical software often has strict …
and sometimes even cause serious software failures. Safety-critical software often has strict …
Correct approximation of IEEE 754 floating-point arithmetic for program verification
Verification of programs using floating-point arithmetic is challenging on several accounts.
One of the difficulties of reasoning about such programs is due to the peculiarities of floating …
One of the difficulties of reasoning about such programs is due to the peculiarities of floating …
Eliminating unstable tests in floating-point programs
L Titolo, CA Muñoz, MA Feliú, MM Moscato - Logic-Based Program …, 2019 - Springer
Round-off errors arising from the difference between real numbers and their floating-point
representation cause the control flow of conditional floating-point statements to deviate from …
representation cause the control flow of conditional floating-point statements to deviate from …