Human history is full of formal pledges to equality, rights and rule of law. However, the lived reality has typically been the opposite: exceptions, privileges and uneven application of rules are the ...

Abstract: Testing a numerical library's exception handling is often left to its regression tests. However, designing floating-point inputs that exercise exceptional behavior is difficult. Further-more ...

Abstract: Numerical exceptions, which may be caused by overflow, operations like division by 0 or sqrt(−1), or conver-gence failures, are unavoidable in many cases, in particular when software is used ...