testing an interval arithmetic library, IEEE 1788 compliance...

[NRevol]

Dear colleagues,
I am "revamping" the MPFI library and I am struggling to define pertinent tests.
I would like to understand what is important, how tests can be structured (at least in our minds), including IEEE-1788 compliance.
I would like some bibliography and this would include ITF1788, test for the Octave interval package, and if you have acces to it, Marco Nehmeier's PhD dissertation and any other useful material you could point to.
I would like to discuss these topics and possibly submit it to the minisymposium on intervals at the PPAM 2022 conference (deadline: 20 May 2022).
If you can help me /are interested in contributing and co-authoring this submission, I would be delighted!

Kind regards
Nathalie Revol