Testing interval arithmetic libraries, including their IEEE-1788 compliance

Nathalie Revol, Luis Benet, Luca Ferranti +1

As developers of libraries implementing interval arithmetic, we faced the same difficulties when it came to testing our libraries. What must be tested? How can we devise relevant t…