{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T23:33:28Z","timestamp":1769038408989,"version":"3.49.0"},"reference-count":48,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,12,29]],"date-time":"2026-12-29T00:00:00Z","timestamp":1798502400000},"content-version":"am","delay-in-days":272,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/100006227","name":"Lawrence Livermore National Laboratory","doi-asserted-by":"publisher","award":["DE-AC52-07NA27344"],"award-info":[{"award-number":["DE-AC52-07NA27344"]}],"id":[{"id":"10.13039\/100006227","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006227","name":"Lawrence Livermore National Laboratory","doi-asserted-by":"publisher","award":["LLNL-JRNL-2014455"],"award-info":[{"award-number":["LLNL-JRNL-2014455"]}],"id":[{"id":"10.13039\/100006227","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006132","name":"Office of Science","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006132","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1016\/j.jss.2025.112757","type":"journal-article","created":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T16:33:43Z","timestamp":1766594023000},"page":"112757","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Leveraging explainable AI to characterize floating-point exceptions in linear solvers"],"prefix":"10.1016","volume":"234","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9374-4433","authenticated-orcid":false,"given":"Ignacio","family":"Laguna","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jss.2025.112757_bib0001","series-title":"An introduction to numerical analysis","author":"Atkinson","year":"2008"},{"key":"10.1016\/j.jss.2025.112757_bib0002","unstructured":"Balay, S., Abhyankar, S., Adams, M., Brown, J., Brune, P., Buschelman, K., Dalcin, L., Dener, A., Eijkhout, V., Gropp, W., et al., 2019. Petsc users manual."},{"issue":"1","key":"10.1016\/j.jss.2025.112757_bib0003","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/2480359.2429133","article-title":"Automatic detection of floating-point exceptions","volume":"48","author":"Barr","year":"2013","journal-title":"ACM Sigplan Notices"},{"key":"10.1016\/j.jss.2025.112757_bib0004","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1010933404324","article-title":"Random forests","volume":"45","author":"Breiman","year":"2001","journal-title":"Mach. Learn."},{"key":"10.1016\/j.jss.2025.112757_bib0005","series-title":"Proceedings of the 22Nd Acm Sigkdd International Conference on Knowledge Discovery and Data Mining","first-page":"785","article-title":"Xgboost: a scalable tree boosting system","author":"Chen","year":"2016"},{"key":"10.1016\/j.jss.2025.112757_bib0006","series-title":"Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","first-page":"43","article-title":"Efficient search for inputs causing high floating-point errors","author":"Chiang","year":"2014"},{"key":"10.1016\/j.jss.2025.112757_bib0007","series-title":"2022 IEEE\/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness)","first-page":"1","article-title":"Proposed consistent exception handling for the BLAS and LAPACK","author":"Demmel","year":"2022"},{"issue":"8","key":"10.1016\/j.jss.2025.112757_bib0008","doi-asserted-by":"crossref","first-page":"983","DOI":"10.1109\/12.295860","article-title":"Faster numerical algorithms via exception handling","volume":"43","author":"Demmel","year":"1994","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/j.jss.2025.112757_bib0009","unstructured":"Dieber, J., Kirrane, S., 2020. Why model why? assessing the strengths and limitations of LIME. arXiv preprint arXiv: 2012.00093."},{"key":"10.1016\/j.jss.2025.112757_bib0010","series-title":"Handbook of Image Processing and Computer Vision: Volume 2: from Image to Pattern","first-page":"149","article-title":"Geometric transformations","author":"Distante","year":"2020"},{"key":"10.1016\/j.jss.2025.112757_bib0011","unstructured":"Documentation,. PETSc FAQ. https:\/\/petsc.org\/main\/faq\/#how-can-i-find-the-cause-of-floating-point-exceptions-like-not-a-number-nan-or-infinity."},{"key":"10.1016\/j.jss.2025.112757_bib0012","unstructured":"Eigen, 2024. Accessed: 2024-12-01. https:\/\/eigen.tuxfamily.org."},{"issue":"10","key":"10.1016\/j.jss.2025.112757_bib0013","doi-asserted-by":"crossref","first-page":"1216","DOI":"10.1061\/(ASCE)HY.1943-7900.0000411","article-title":"Dealing with zero flows in solving the nonlinear equations for water distribution systems","volume":"137","author":"Elhay","year":"2011","journal-title":"J. Hydraul. Eng."},{"key":"10.1016\/j.jss.2025.112757_bib0014","series-title":"International Conference on Computational Science","first-page":"632","article-title":"Hypre: a library of high performance preconditioners","author":"Falgout","year":"2002"},{"key":"10.1016\/j.jss.2025.112757_bib0015","first-page":"1189","article-title":"Greedy function approximation: a gradient boosting machine","author":"Friedman","year":"2001","journal-title":"Ann. Stat."},{"key":"10.1016\/j.jss.2025.112757_bib0016","first-page":"507","article-title":"Why do tree-based models still outperform deep learning on typical tabular data?","volume":"35","author":"Grinsztajn","year":"2022","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.jss.2025.112757_bib0017","series-title":"Proceedings of the ACM\/IEEE 42Nd International Conference on Software Engineering","first-page":"1261","article-title":"Efficient generation of error-inducing floating-point inputs via symbolic execution","author":"Guo","year":"2020"},{"issue":"4","key":"10.1016\/j.jss.2025.112757_bib0018","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1109\/TCS.1981.1084988","article-title":"Avoiding zero pivots in the modified nodal approach","volume":"28","author":"Hajj","year":"1981","journal-title":"IEEE Trans. Circuits Syst."},{"key":"10.1016\/j.jss.2025.112757_bib0019","series-title":"Conjugate gradient type methods for ill-posed problems","author":"Hanke","year":"2017"},{"issue":"2","key":"10.1016\/j.jss.2025.112757_bib0020","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/227699.227701","article-title":"Handling floating-point exceptions in numeric programs","volume":"18","author":"Hauser","year":"1996","journal-title":"ACM Trans. Progra. Languages Syst. (TOPLAS)"},{"key":"10.1016\/j.jss.2025.112757_bib0021","series-title":"Accuracy and stability of numerical algorithms","author":"Higham","year":"2002"},{"key":"10.1016\/j.jss.2025.112757_bib0022","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1017\/S0962492922000022","article-title":"Mixed precision algorithms in numerical linear algebra","volume":"31","author":"Higham","year":"2022","journal-title":"Acta Numer."},{"key":"10.1016\/j.jss.2025.112757_bib0023","series-title":"Matrix analysis","author":"Horn","year":"2012"},{"key":"10.1016\/j.jss.2025.112757_bib0024","series-title":"Proceedings of the ACM\/IEEE 42Nd International Conference on Software Engineering","first-page":"75","article-title":"Debugging inputs","author":"Kirschner","year":"2020"},{"key":"10.1016\/j.jss.2025.112757_bib0025","series-title":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","first-page":"1126","article-title":"Fpchecker: detecting floating-point exceptions in gpu applications","author":"Laguna","year":"2019"},{"key":"10.1016\/j.jss.2025.112757_bib0026","series-title":"2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS)","first-page":"622","article-title":"Varity: quantifying floating-point variations in hpc systems through randomized testing","author":"Laguna","year":"2020"},{"key":"10.1016\/j.jss.2025.112757_bib0027","series-title":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis","first-page":"1","article-title":"BinFPE: accurate floating-point exception detection for GPU applications","author":"Laguna","year":"2022"},{"key":"10.1016\/j.jss.2025.112757_bib0028","series-title":"2022 IEEE International Symposium on Workload Characterization (IISWC)","first-page":"39","article-title":"Fpchecker: floating-point exception detection tool and benchmark for parallel and distributed hpc","author":"Laguna","year":"2022"},{"key":"10.1016\/j.jss.2025.112757_bib0029","doi-asserted-by":"crossref","DOI":"10.1016\/j.parco.2023.103042","article-title":"Finding inputs that trigger floating-point exceptions in heterogeneous computing via bayesian optimization","volume":"117","author":"Laguna","year":"2023","journal-title":"Parallel Comput."},{"issue":"2","key":"10.1016\/j.jss.2025.112757_bib0030","doi-asserted-by":"crossref","first-page":"214","DOI":"10.2307\/2412845","article-title":"On comparing coefficients of variation","volume":"26","author":"Lande","year":"1977","journal-title":"Syst. Zool."},{"key":"10.1016\/j.jss.2025.112757_bib0031","series-title":"Proceedings of the 32Nd International Symposium on High-Performance Parallel and Distributed Computing","first-page":"59","article-title":"Design and evaluation of GPU-FPX: a low-overhead tool for floating-point exception detection in NVIDIA GPUs","author":"Li","year":"2023"},{"key":"10.1016\/j.jss.2025.112757_bib0032","unstructured":"Lundberg, S., 2017. A unified approach to interpreting model predictions. arXiv preprint arXiv: 1705.07874."},{"key":"10.1016\/j.jss.2025.112757_bib0033","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2024.112226","article-title":"Symbolic testing of floating-point bugs and exceptions","volume":"219","author":"Ma","year":"2025","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.jss.2025.112757_bib0034","unstructured":"MathWorks, 2024. When the solver fails. Accessed: 2024-12-04. https:\/\/www.mathworks.com\/help\/optim\/ug\/when-the-solver-fails.HTML."},{"key":"10.1016\/j.jss.2025.112757_bib0035","doi-asserted-by":"crossref","DOI":"10.1002\/nme.7545","article-title":"Caveats of three direct linear solvers for finite element analyses","author":"Pedroso","year":"2024","journal-title":"Int. J. Numer. Methods Eng."},{"key":"10.1016\/j.jss.2025.112757_bib0036","series-title":"Numerical recipes 3rd edition: The art of scientific computing","author":"Press","year":"2007"},{"key":"10.1016\/j.jss.2025.112757_bib0037","series-title":"Proceedings of the 22Nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining","first-page":"1135","article-title":"\u201dWhy should i trust you? explaining the predictions of any classifier","author":"Ribeiro","year":"2016"},{"key":"10.1016\/j.jss.2025.112757_bib0038","article-title":"On the kronecker product","author":"Schacke","year":"2004","journal-title":"Master\u2019s thesis, University of Waterloo"},{"issue":"4","key":"10.1016\/j.jss.2025.112757_bib0039","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s10664-024-10469-1","article-title":"Studying the explanations for the automated prediction of bug and non-bug issues using LIME and SHAP","volume":"29","author":"Schulte","year":"2024","journal-title":"Empirical Softw. Eng."},{"key":"10.1016\/j.jss.2025.112757_bib0040","unstructured":"Shewchuk, J. R., et al., 1994. An introduction to the conjugate gradient method without the agonizing pain."},{"issue":"4","key":"10.1016\/j.jss.2025.112757_bib0041","doi-asserted-by":"crossref","first-page":"1138","DOI":"10.1109\/TSE.2020.3013716","article-title":"Inputs from hell","volume":"48","author":"Soremekun","year":"2020","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/j.jss.2025.112757_bib0042","series-title":"Introduction to linear algebra","author":"Strang","year":"2022"},{"key":"10.1016\/j.jss.2025.112757_bib0043","series-title":"International Conference on Intelligent Computer Mathematics","first-page":"206","article-title":"Verified correctness, accuracy, and convergence of a stationary iterative linear solver: jacobi method","author":"Tekriwal","year":"2023"},{"key":"10.1016\/j.jss.2025.112757_bib0044","series-title":"Numerical linear algebra","author":"Trefethen","year":"2022"},{"key":"10.1016\/j.jss.2025.112757_bib0045","series-title":"2017 IEEE Symposium on Security and Privacy (SP)","first-page":"579","article-title":"Skyfire: data-driven seed generation for fuzzing","author":"Wang","year":"2017"},{"key":"10.1016\/j.jss.2025.112757_bib0046","series-title":"2022 29th Asia-Pacific Software Engineering Conference (APSEC)","first-page":"397","article-title":"Detecting high floating-point errors via ranking analysis","author":"Wang","year":"2022"},{"key":"10.1016\/j.jss.2025.112757_bib0047","doi-asserted-by":"crossref","unstructured":"Zahid, A. H., Laguna, I., Le, W., 2024. Testing GPU numerics: Finding numerical differences between NVIDIA and AMD GPUs. arXiv preprint arXiv: 2410.09172.","DOI":"10.1109\/SCW63240.2024.00077"},{"key":"10.1016\/j.jss.2025.112757_bib0048","series-title":"2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering","first-page":"529","article-title":"A genetic algorithm for detecting significant floating-point inaccuracies","volume":"Vol. 1","author":"Zou","year":"2015"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121225004261?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121225004261?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T08:24:34Z","timestamp":1768983874000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121225004261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":48,"alternative-id":["S0164121225004261"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2025.112757","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2026,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Leveraging explainable AI to characterize floating-point exceptions in linear solvers","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems and Software","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jss.2025.112757","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"112757"}}