Discovering discrepancies in numerical libraries.

Jackson Vanover, Xuan Deng, Cindy Rubio-Gonzlez

Browse the full ISSTA paper archive.