{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T19:38:11Z","timestamp":1773517091876,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T00:00:00Z","timestamp":1595030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1750983"],"award-info":[{"award-number":["1750983"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,18]]},"DOI":"10.1145\/3395363.3397380","type":"proceedings-article","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T21:44:18Z","timestamp":1594676658000},"page":"488-501","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Discovering discrepancies in numerical libraries"],"prefix":"10.1145","author":[{"given":"Jackson","family":"Vanover","sequence":"first","affiliation":[{"name":"University of California at Davis, USA"}]},{"given":"Xuan","family":"Deng","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}]},{"given":"Cindy","family":"Rubio-Gonz\u00e1lez","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2019.8766229"},{"key":"e_1_3_2_1_2_1","volume-title":"LAPACK: A Portable Linear Algebra Library for High-performance Computers. In Proceedings of the 1990 ACM\/IEEE Conference on Supercomputing (Supercomputing '90)","author":"Anderson E.","year":"1990"},{"key":"e_1_3_2_1_3_1","unstructured":"Douglas N Arnold. 2000. The Explosion of the Ariane 5. ( 2000 ). http:\/\/wwwusers.math.umn.edu\/~arnold\/disasters\/ariane.html  Douglas N Arnold. 2000. The Explosion of the Ariane 5. ( 2000 ). http:\/\/wwwusers.math.umn.edu\/~arnold\/disasters\/ariane.html"},{"key":"e_1_3_2_1_4_1","unstructured":"Douglas N Arnold. 2000. The Patriot Missile Failure. ( 2000 ). http:\/\/wwwusers.math.umn.edu\/~arnold\/disasters\/patriot.html  Douglas N Arnold. 2000. The Patriot Missile Failure. ( 2000 ). http:\/\/wwwusers.math.umn.edu\/~arnold\/disasters\/patriot.html"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3195019"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145782"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00054"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/STEP.2003.18"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786835"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29778-1_17"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236059"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236057"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115662"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814317"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062383"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314632"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717822"},{"key":"e_1_3_2_1_24_1","volume-title":"GNU Scientific Library Reference Manual-","author":"Gough Brian","edition":"3"},{"key":"e_1_3_2_1_25_1","volume-title":"International Conference on Software Engineering (ICSE).","author":"Guo Hui","year":"2020"},{"key":"e_1_3_2_1_26_1","unstructured":"Fredrik Johansson et al. 2013. mpmath: a Python library for arbitrary-precision lfoating-point arithmetic (version 0.18). http:\/\/mpmath.org\/.  Fredrik Johansson et al. 2013. mpmath: a Python library for arbitrary-precision lfoating-point arithmetic (version 0.18). http:\/\/mpmath.org\/."},{"key":"e_1_3_2_1_27_1","unstructured":"Eric Jones Travis Oliphant Pearu Peterson etal 2001-. SciPy: Open source scientific tools for Python. (2001-). http:\/\/www.scipy.org\/  Eric Jones Travis Oliphant Pearu Peterson et al. 2001-. SciPy: Open source scientific tools for Python. (2001-). http:\/\/www.scipy.org\/"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698899"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330553"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA","author":"Leavens Gary T.","year":"2018"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236037"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRev.75.411"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377603.1377611"},{"key":"e_1_3_2_1_34_1","article-title":"Diferential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2892661"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.47"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276517"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330575"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629506"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831724"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2642956"},{"key":"e_1_3_2_1_43_1","unstructured":"Lode Vandevenne. 2014. jmat: Complex special functions numerical linear algebra and statistics in JavaScript. https:\/\/github.com\/lvandeve\/jmat. ( 2014 ).  Lode Vandevenne. 2014. jmat: Complex special functions numerical linear algebra and statistics in JavaScript. https:\/\/github.com\/lvandeve\/jmat. ( 2014 )."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950355"},{"key":"e_1_3_2_1_45_1","unstructured":"Eric W Weisstein. [n. d.]. Special Function. ([n. d.]). http:\/\/mathworld.wolfram. com\/SpecialFunction.html  Eric W Weisstein. [n. d.]. Special Function. ([n. d.]). http:\/\/mathworld.wolfram. com\/SpecialFunction.html"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00061"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290369"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.70"}],"event":{"name":"ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual Event USA","acronym":"ISSTA '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3397380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3395363.3397380","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3395363.3397380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:45Z","timestamp":1750199925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3397380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,18]]},"references-count":49,"alternative-id":["10.1145\/3395363.3397380","10.1145\/3395363"],"URL":"https:\/\/doi.org\/10.1145\/3395363.3397380","relation":{},"subject":[],"published":{"date-parts":[[2020,7,18]]},"assertion":[{"value":"2020-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}