Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries | IEEE Conference Publication | IEEE Xplore