Context Scientific software plays an important role in critical decision making, for example
making weather predictions based on climate models, and computation of evidence for …

Data-flow testing (DFT) is a family of testing strategies designed to verify the interactions
between each program variable's definition and its uses. Such a test objective of interest is …

Deep learning (DL) techniques attract people from various fields with superior performance
in making progressive breakthroughs. To ensure the quality of DL techniques, researchers …

Floating-point types are notorious for their intricate representation. The effective use of
mixed precision, ie, using various precisions in different computations, is critical to achieve a …

Software engineering and development is well-known to suffer from unplanned overtime,
which causes stress and illness in engineers and can lead to poor quality software with …

Floating point is widely used in software to emulate arithmetic over reals. Unfortunately,
floating point leads to rounding errors that propagate and accumulate during execution …

We investigate the use of coverage-guided fuzzing as a means of proving satisfiability of
SMT formulas over finite variable domains, with specific application to floating-point …

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 …

Symbolic execution is a well-known program analysis technique for testing software, which
makes intensive use of constraint solvers. Recent support for floating-point constraint solving …

Numerical libraries constitute the building blocks for software applications that perform
numerical calculations. Thus, it is paramount that such libraries provide accurate and …