{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:00:48Z","timestamp":1772042448317,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T00:00:00Z","timestamp":1739145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T00:00:00Z","timestamp":1739145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"DOI":"10.1007\/s11227-025-06962-z","type":"journal-article","created":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T14:46:19Z","timestamp":1739198779000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["PESA: error sensitivity analysis tool for floating-point computational programs"],"prefix":"10.1007","volume":"81","author":[{"given":"Mengqi","family":"Cui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinchen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuchang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongru","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liguang","family":"Ji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bei","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,10]]},"reference":[{"key":"6962_CR1","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/103162.103163","volume":"23","author":"D Goldberg","year":"1991","unstructured":"Goldberg D (1991) What every computer scientist should know about floating-point arithmetic. ACM Comput Surv 23:413","journal-title":"ACM Comput Surv"},{"issue":"1","key":"6962_CR2","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1007\/s11227-023-05523-6","volume":"80","author":"Z Zhang","year":"2023","unstructured":"Zhang Z, Xu J, Hao J, Qu Y, He H, Zhou B (2023) Hierarchical search algorithm for error detection in floating-point arithmetic expressions. J Supercomput 80(1):1183\u20131205","journal-title":"J Supercomput"},{"key":"6962_CR3","doi-asserted-by":"crossref","unstructured":"Chiang W-F, Baranowski M, Briggs I, Solovyev A, Gopalakrishnan G, Rakamaric Z (2017) Rigorous floating-point mixed-precision tuning. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","DOI":"10.1145\/3009837.3009846"},{"key":"6962_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/LES.2019.2913774","volume":"12","author":"S Cherubin","year":"2020","unstructured":"Cherubin S, Cattaneo D, Chiari M, Bello AD, Agosta G (2020) TAFFO: tuning assistant for floating to fixed point optimization. IEEE Embed Syst Lett 12:5\u20138","journal-title":"IEEE Embed Syst Lett"},{"key":"6962_CR5","doi-asserted-by":"crossref","unstructured":"Rubio-Gonz\u00e1lez C, Nguyen C, Nguyen HD, Demmel J, Kahan W, Sen K, Bailey DH, Iancu C, Hough DG (2013) Precimonious: tuning assistant for floating-point precision. In: 2013 SC-International Conference for High Performance Computing, Networking, Storage and Analysis (SC), pp 1\u201312","DOI":"10.1145\/2503210.2503296"},{"key":"6962_CR6","doi-asserted-by":"crossref","unstructured":"Menon H, Lam MO, Osei-Kuffuor D, Schordan M, Lloyd S, Mohror KM, Hittinger JAF (2018) Adapt: algorithmic differentiation applied to floating-point precision tuning. In: SC18: International Conference for High Performance Computing, Networking, Storage and Analysis, pp 614\u2013626","DOI":"10.1109\/SC.2018.00051"},{"key":"6962_CR7","doi-asserted-by":"crossref","unstructured":"Singh G, Kundu B, Menon H, Penev A, Lange DJ, Vassilev V (2023) Fast and automatic floating point error analysis with CHEF-FP. In: 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp 1018\u20131028","DOI":"10.1109\/IPDPS54959.2023.00105"},{"key":"6962_CR8","unstructured":"Sobol IM (1993) Sensitivity estimates for nonlinear mathematical models 1(1):112\u2013118 (https:\/\/api.semanticscholar.org\/CorpusID:115460399) (https:\/\/api.semanticscholar.org\/CorpusID:115460399)"},{"key":"6962_CR9","doi-asserted-by":"crossref","unstructured":"Chowdhary S, Lim JP, Nagarakatte S (2020) Debugging and detecting numerical errors in computation with posits. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","DOI":"10.1145\/zenodo.3742225"},{"key":"6962_CR10","doi-asserted-by":"crossref","unstructured":"Zhang Z, Zhou B, Hao J, Yang H, Cui M, Zhou Y, Song G, Li F, Xu J, Zhao J (2023) Eiffel: inferring input ranges of significant floating-point errors via polynomial extrapolation. In: 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp 1441\u20131453","DOI":"10.1109\/ASE56229.2023.00139"},{"key":"6962_CR11","doi-asserted-by":"crossref","unstructured":"Ferson S, Tucker WT (2006) Sensitivity analysis using probability bounding. https:\/\/api.semanticscholar.org\/CorpusID:13852469","DOI":"10.1016\/j.ress.2005.11.052"},{"key":"6962_CR12","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/j.rser.2012.12.014","volume":"20","author":"W Tian","year":"2013","unstructured":"Tian W (2013) A review of sensitivity analysis methods in building energy analysis. Renew Sustain Energy Rev 20:411\u2013419","journal-title":"Renew Sustain Energy Rev"},{"key":"6962_CR13","unstructured":"Baydin AG, Pearlmutter BA, Radul A, Siskind JM (2015) Automatic differentiation in machine learning: a survey. arXiv:1502.05767"},{"key":"6962_CR14","unstructured":"Fel T, Cadene R, Chalvidal M, Cord M, Vigouroux D, Serre T (2021) Look at the variance! efficient black-box explanations with Sobol-based sensitivity analysis. arXiv:2111.04138"},{"key":"6962_CR15","doi-asserted-by":"crossref","unstructured":"Borgonovo E (2017) Sensitivity analysis: an introduction for the management scientist. https:\/\/api.semanticscholar.org\/CorpusID:64717349","DOI":"10.1007\/978-3-319-52259-3_14"},{"key":"6962_CR16","doi-asserted-by":"crossref","unstructured":"Wei H, Wang J, Shan Y, Guo Z, Ma J (2022) Application of Sobol sensitivity analysis with surrogate model of analytical function. In: 2022 IEEE 2nd International Conference on Power, Electronics and Computer Applications (ICPECA), pp 504\u2013509","DOI":"10.1109\/ICPECA53709.2022.9719024"},{"key":"6962_CR17","doi-asserted-by":"publisher","first-page":"18155","DOI":"10.18174\/sesmo.18155","volume":"4","author":"T Iwanaga","year":"2022","unstructured":"Iwanaga T, Usher W, Herman J (2022) Toward SALib 2.0: advancing the accessibility and interpretability of global sensitivity analyses. Socio-Environ Syst Model 4:18155. https:\/\/doi.org\/10.18174\/sesmo.18155","journal-title":"Socio-Environ Syst Model"},{"key":"6962_CR18","doi-asserted-by":"crossref","unstructured":"Lattner C, Adve VS (2004) LLVM: a compilation framework for lifelong program analysis & transformation. In: International Symposium on Code Generation and Optimization (CGO), pp 75\u201386","DOI":"10.1109\/CGO.2004.1281665"},{"key":"6962_CR19","unstructured":"Parragi Z, Porkol\u00e1b Z (2018) Instrumentation of C++ programs using automatic source code transformations. Studia Universitatis Babe\u015f-Bolyai Informatica"},{"key":"6962_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107647","volume":"213","author":"I Azzini","year":"2021","unstructured":"Azzini I, Rosati R (2021) Sobol\u2019 main effect index: an innovative algorithm (IA) using dynamic adaptive variances. Reliab Eng Syst Saf 213:107647","journal-title":"Reliab Eng Syst Saf"},{"issue":"9","key":"6962_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.21105\/joss.00097","volume":"2","author":"J Herman","year":"2017","unstructured":"Herman J, Usher W (2017) SALib: an open-source python library for sensitivity analysis. J Open Source Softw 2(9):97. https:\/\/doi.org\/10.21105\/joss.00097","journal-title":"J Open Source Softw"},{"key":"6962_CR22","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.cpc.2009.09.018","volume":"181","author":"A Saltelli","year":"2010","unstructured":"Saltelli A, Annoni P, Azzini I, Campolongo F, Ratto M, Tarantola S (2010) Variance based sensitivity analysis of model output. Design and estimator for the total sensitivity index. Comput Phys Commun 181:259\u2013270","journal-title":"Comput Phys Commun"},{"key":"6962_CR23","doi-asserted-by":"publisher","first-page":"C84","DOI":"10.21914\/anziamj.v62.16094","volume":"62","author":"X Sun","year":"2021","unstructured":"Sun X, Croke BFW, Roberts S, Jakeman AJ (2021) Investigation of determinism-related issues in the Sobol\u2019 low-discrepancy sequence for producing sound global sensitivity analysis indices. ANZIAM J 62:C84\u2013C97","journal-title":"ANZIAM J"},{"key":"6962_CR24","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/biomet\/57.1.97","volume":"57","author":"WK Hastings","year":"1970","unstructured":"Hastings WK (1970) Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57:97\u2013109","journal-title":"Biometrika"},{"key":"6962_CR25","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0378-4754(00)00270-6","volume":"55","author":"IM Sobol\u2019","year":"2001","unstructured":"Sobol\u2019 IM (2001) Global sensitivity indices for nonlinear mathematical models and their Monte Carlo estimates. Math Comput Simul 55:271\u2013280","journal-title":"Math Comput Simul"},{"key":"6962_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s12918-017-0488-z","volume":"11","author":"S Sinha","year":"2017","unstructured":"Sinha S (2017) Hilbert-Schmidt and Sobol sensitivity indices for static and time series WNT signaling measurements in colorectal cancer-part A. BMC Syst Biol 11:1\u201338","journal-title":"BMC Syst Biol"},{"key":"6962_CR27","doi-asserted-by":"crossref","unstructured":"Parasyris K, Laguna I, Menon H, Schordan M, Osei-Kuffuor D, Georgakoudis G, Lam MO, Vanderbruggen T(2020) HPC-MixPBench: an HPC benchmark suite for mixed-precision analysis. In: 2020 IEEE International Symposium on Workload Characterization (IISWC), pp 25\u201336","DOI":"10.1109\/IISWC50251.2020.00012"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-025-06962-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-025-06962-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-025-06962-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T14:46:27Z","timestamp":1739198787000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-025-06962-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,10]]},"references-count":27,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2025,2]]}},"alternative-id":["6962"],"URL":"https:\/\/doi.org\/10.1007\/s11227-025-06962-z","relation":{},"ISSN":["1573-0484"],"issn-type":[{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,10]]},"assertion":[{"value":"16 January 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 February 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"All authors disclosed no relevant relationships.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"477"}}