{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:38Z","timestamp":1740131978199,"version":"3.37.3"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Basic Research Program of China 973 Program","doi-asserted-by":"crossref","award":["2014CB340702"],"award-info":[{"award-number":["2014CB340702"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]},{"name":"NSF Award","award":["1320306","1320444","1409668"],"award-info":[{"award-number":["1320306","1320444","1409668"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61373013","61402222","61632015"],"award-info":[{"award-number":["61373013","61402222","61632015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2017,10,1]]},"DOI":"10.1109\/tse.2016.2642956","type":"journal-article","created":{"date-parts":[[2016,12,21]],"date-time":"2016-12-21T21:31:45Z","timestamp":1482355905000},"page":"975-994","source":"Crossref","is-referenced-by-count":10,"title":["Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9004-1292","authenticated-orcid":false,"given":"Enyi","family":"Tang","sequence":"first","affiliation":[]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Norbert Th.","family":"Muller","sequence":"additional","affiliation":[]},{"given":"Zhenyu","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716"},{"journal-title":"Rounding Errors in Algebraic Processes","year":"1994","author":"wilkinson","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/356502.356496"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/355637.355639"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254118"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47764-0_14"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24738-8_18"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.5540\/tema.2003.04.03.0297"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1916461.1916469"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005822"},{"year":"2014","author":"shoup","key":"ref61"},{"key":"ref63","first-page":"610","article-title":"Error analysis in computing","author":"vignes","year":"0","journal-title":"Proc Int Federation Inf Process"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/5992.852391"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.70"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/800125.804035"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_19"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.02.003"},{"article-title":"Monte Carlo arithmetic: A framework for the statistical analysis of roundoff error","year":"0","author":"parker","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134323"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/spe.637"},{"key":"ref23","first-page":"851","article-title":"Sur le taux de fiabilité général de la méthode CESTAC","volume":"16","author":"chatelin","year":"1988","journal-title":"Comptes Rendus de l'Académie des Sciences - Series IV - Physics"},{"journal-title":"GNU Scientific Library Reference Manual","year":"2002","author":"galassi","key":"ref26"},{"article-title":"Monte Carlo arithmetic: Exploiting randomness in floating-point arithmetic","year":"1997","author":"parker","key":"ref25"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.058"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2004.1319637"},{"key":"ref59","article-title":"The GMP development team","author":"granlund","year":"2014","journal-title":"GNU MP The GNU Multiple Precision Arithmetic Library"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2007.4380629"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1839480.1839486"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2006.21"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2009.5413114"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-6891-y"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.07.002"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.07.003"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45335-0_14"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.3354\/cr030079","article-title":"Advantages of the mean absolute error mae over the root mean square error RMSE in assessing average model performance","volume":"30","author":"cort","year":"2005","journal-title":"Climate Res"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.17"},{"article-title":"Numerical mathematics and computing","year":"2007","author":"cheney","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.4324\/9780203774441","author":"cohen","year":"2013","journal-title":"Applied Multiple Regression\/Correlation Analysis for the Behavioral Sciences"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831724"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0129-6264(00)00021-4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-011-0103-4"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"216","DOI":"10.51400\/2709-6998.1958","article-title":"Novel methods for solving severely ill-posed linear equations system","volume":"17","author":"liu","year":"2009","journal-title":"J Marine Sci Technol"},{"key":"ref18","first-page":"622","article-title":"Research on ill-conditioned problem and modeling precision in GM(1,1) model","volume":"1","author":"xiao","year":"0","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"journal-title":"Introduction to Numerical Ordinary and Partial Differential Equations Using MATLAB\ufffd","year":"2011","author":"stanoyevitch","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480960"},{"journal-title":"Power Electronics","year":"2010","author":"hart","key":"ref6"},{"journal-title":"POWER ELECTRONICS Converters Applications and Design","year":"2002","author":"mohan","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049483.75679.ce"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(93)90003-D"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_14"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"ref47","first-page":"369","article-title":"Automatically adapting programs for mixed-precision floating-point computation","author":"lam","year":"0","journal-title":"Proc 27th Int ACM Conf Int Conf Supercomputing"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2011.40"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2007.20"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048094"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14203-1_11"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8067629\/07792694.pdf?arnumber=7792694","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T18:45:12Z","timestamp":1658256312000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7792694\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,1]]},"references-count":64,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2642956","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2017,10,1]]}}}