Symbolic Path-Oriented Test Data Generation for Floating-Point Programs Page 1 Symbolic
Path-Oriented Test Data Generation for Floating-Point Programs Arnaud Gotlieb Certus V&V …

Symbolic Execution of Floating-Point Computations Page 1 1 Nantes -- 24 Novembre 2005 1
Symbolic Execution of Floating-Point Computations A constraint-based testing approach Bernard …

For numerical programs, or more generally for programs with floating-point data, it may be
that large savings of time and storage are made possible by using numerical maximization …

Testing integer software with symbolic execution is wellestablished but floating-point
remains a specialty feature. Modern symbolic floating-point tactics include concretization …

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 …

Verifying critical numerical software involves the generation of test data for floating-point
intensive programs. As the symbolic execution of floating-point computations presents …

Many strategies for testing computer programs require the selection of a set of paths along
which testing will be conducted. Ideally, a finite set of paths would be chosen which was …

Symbolic execution is a classical program testing technique which evaluates a selected
control flow path with symbolic input data. A constraint solver can be used to enforce the …

We present a tool for the automatic generation of test stimuli for small numerical support
functions, eg, code for trigonometric functions, quaternions, filters, or table lookup. Our tool is …