Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries.

Jackson Vanover, James Demmel, Xiaoye Sherry Li, Cindy Rubio-Gonzlez

Browse the full ARITH paper archive.