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 difficult than designing integer algorithms. For this reason, verification and validation of floating-point computations is a hot research topic. An important verification technique, especially in some industrial sectors, is testing. However, generating test data for floating-point intensive programs proved to be a challenging problem. Existing approaches usually resort to random or search-based test data generation, but without symbolic reasoning it is almost impossible to generate test inputs that execute complex paths controlled by flo...
The draft revision of the IEEE Standard for Floating-Point Arithmetic (IEEE P754) includes a definit...
International audienceSymbolic execution is a classical program testing technique which evaluates a ...
We present algorithms that solve the following prob-lem: given three ranges of floating-point number...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
Floating-point computations are quickly finding their way in the design of safety- and mission-crit...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
Short paper, 4 pagesInternational audienceConstraint solving over floating-point numbers is an emerg...
La vérification de programmes avec des calculs sur les nombres à virgule flottante est une étape trè...
The verification of programs with floating-point numbers computation is an important issue in the de...
Abstract. Programs with floating-point computations are tricky to de-velop because floating-point ar...
Part 4: Short ContributionsInternational audiencePrograms with floating-point computations are often...
Programs with floating-point computations are often derived from mathematical models or designed wit...
International audiencePrograms with floating-point computations are often derived from mathematical ...
The draft revision of the IEEE Standard for Floating-Point Arithmetic (IEEE P754) includes a definit...
International audienceSymbolic execution is a classical program testing technique which evaluates a ...
We present algorithms that solve the following prob-lem: given three ranges of floating-point number...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
Floating-point computations are quickly finding their way in the design of safety- and mission-crit...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
Verification of programs using floating-point arithmetic is challenging on several accounts. One of ...
Short paper, 4 pagesInternational audienceConstraint solving over floating-point numbers is an emerg...
La vérification de programmes avec des calculs sur les nombres à virgule flottante est une étape trè...
The verification of programs with floating-point numbers computation is an important issue in the de...
Abstract. Programs with floating-point computations are tricky to de-velop because floating-point ar...
Part 4: Short ContributionsInternational audiencePrograms with floating-point computations are often...
Programs with floating-point computations are often derived from mathematical models or designed wit...
International audiencePrograms with floating-point computations are often derived from mathematical ...
The draft revision of the IEEE Standard for Floating-Point Arithmetic (IEEE P754) includes a definit...
International audienceSymbolic execution is a classical program testing technique which evaluates a ...
We present algorithms that solve the following prob-lem: given three ranges of floating-point number...