{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T13:54:47Z","timestamp":1781704487070,"version":"3.54.5"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:00:00Z","timestamp":1773273600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:00:00Z","timestamp":1773273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"University of Dublin, Trinity College"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    The weakest precondition (WP) of a program describes the largest set of initial states from which all terminating executions of the program satisfy a given postcondition. The generation of WPs is an important task with practical applications in areas ranging from verification to run-time error checking. This paper proposes the combination of Large Language Models (LLMs) and fuzz testing for generating WPs. In pursuit of this goal, we introduce\n                    <jats:italic>Fuzzing Guidance<\/jats:italic>\n                    (FG); FG acts as a means of directing LLMs towards correct WPs using program execution feedback. FG utilises fuzz testing for approximately checking the validity and weakness of candidate WPs, this information is then fed back to the LLM as a means of context refinement. We demonstrate the effectiveness of our approach on a comprehensive benchmark set of deterministic array programs in Java. Our experiments indicate that LLMs are capable of producing viable candidate WPs, and that this ability can be practically enhanced through FG.\n                  <\/jats:p>","DOI":"10.1007\/s10009-026-00844-2","type":"journal-article","created":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T08:25:35Z","timestamp":1773303935000},"page":"317-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions"],"prefix":"10.1007","volume":"28","author":[{"given":"Daragh","family":"King","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vasileios","family":"Koutavas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laura","family":"Kov\u00e1cs","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,12]]},"reference":[{"key":"844_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R.W. Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning meanings to programs. Math. Asp. Comput. Sci. 19, 19 (1967)","journal-title":"Math. Asp. Comput. Sci."},{"key":"844_CR2","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"10","key":"844_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. Computer 25(10), 40\u201351 (1992). https:\/\/doi.org\/10.1109\/2.161279","journal-title":"Computer"},{"key":"844_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL \u201977","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL \u201977, pp.\u00a0238\u2013252. Association for Computing Machinery, New York (1977). https:\/\/doi.org\/10.1145\/512950.512973. https:\/\/doi-org.elib.tcd.ie\/10.1145\/512950.512973"},{"key":"844_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.-J.J. Back","year":"1998","unstructured":"Back, R.-J.J., Akademi, A., Wright, J.V., Schneider, F.B., Gries, D.: Refinement Calculus: A Systematic Introduction, 1st edn. Springer, Berlin (1998)","edition":"1"},{"key":"844_CR6","unstructured":"King, J.C.: A program verifier. PhD thesis, USA (1970). AAI7018026"},{"issue":"1","key":"844_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/32.341844","volume":"21","author":"D.S. Rosenblum","year":"1995","unstructured":"Rosenblum, D.S.: A practical approach to programming with assertions. IEEE Trans. Softw. Eng. 21(1), 19\u201331 (1995). https:\/\/doi.org\/10.1109\/32.341844","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"844_CR8","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975). https:\/\/doi.org\/10.1145\/360933.360975","journal-title":"Commun. ACM"},{"key":"844_CR9","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/155090.155095","volume-title":"Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation. PLDI \u201993","author":"F. Bourdoncle","year":"1993","unstructured":"Bourdoncle, F.: Abstract debugging of higher-order imperative languages. In: Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation. PLDI \u201993, pp.\u00a046\u201355. Association for Computing Machinery, New York (1993). https:\/\/doi.org\/10.1145\/155090.155095. https:\/\/doi-org.elib.tcd.ie\/10.1145\/155090.155095"},{"key":"844_CR10","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-74061-2_25","volume-title":"Static Analysis","author":"C. Calcagno","year":"2007","unstructured":"Calcagno, C., Distefano, D., O\u2019Hearn, P.W., Yang, H.: Footprint analysis: a shape analysis that discovers preconditions. In: Nielson, H.R., Fil\u00e9, G. (eds.) Static Analysis, pp.\u00a0402\u2013418. Springer, Berlin (2007)"},{"key":"844_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-45937-5_13","volume-title":"Compiler Construction","author":"P. Cousot","year":"2002","unstructured":"Cousot, P., Cousot, R.: Modular static program analysis. In: Horspool, R.N. (ed.) Compiler Construction, pp.\u00a0159\u2013179. Springer, Berlin (2002)"},{"key":"844_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-71316-6_18","volume-title":"Programming Languages and Systems","author":"S. Gulwani","year":"2007","unstructured":"Gulwani, S., Tiwari, A.: Computing procedure summaries for interprocedural analysis. In: De Nicola, R. (ed.) Programming Languages and Systems, pp.\u00a0253\u2013267. Springer, Berlin (2007)"},{"key":"844_CR13","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-78163-9_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Y. Moy","year":"2008","unstructured":"Moy, Y.: Sufficient preconditions for modular assertion checking. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) Verification, Model Checking, and Abstract Interpretation, pp.\u00a0188\u2013202. Springer, Berlin (2008)"},{"key":"844_CR14","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1145\/3314221.3314641","volume-title":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"A. Astorga","year":"2019","unstructured":"Astorga, A., Madhusudan, P., Saha, S., Wang, S., Xie, T.: Learning stateful preconditions modulo a test generator. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.\u00a0775\u2013787 (2019)"},{"key":"844_CR15","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-18275-4_12","volume-title":"International Workshop on Verification, Model Checking, and Abstract Interpretation","author":"P. Cousot","year":"2011","unstructured":"Cousot, P., Cousot, R., Logozzo, F.: Precondition inference from intermittent assertions and application to contracts on collections. In: International Workshop on Verification, Model Checking, and Abstract Interpretation, pp.\u00a0150\u2013168. Springer, Berlin (2011)"},{"key":"844_CR16","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-21690-4_18","volume-title":"Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18\u201324, 2015, Proceedings, Part I","author":"T. Gehr","year":"2015","unstructured":"Gehr, T., Dimitrov, D., Vechev, M.: Learning commutativity specifications. In: Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18\u201324, 2015, Proceedings, Part I, vol.\u00a027, pp.\u00a0307\u2013323. Springer, Berlin (2015)"},{"key":"844_CR17","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-78163-9_18","volume-title":"Proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI\u201908","author":"Y. Moy","year":"2008","unstructured":"Moy, Y.: Sufficient preconditions for modular assertion checking. In: Proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI\u201908, pp.\u00a0188\u2013202. Springer, Berlin (2008)"},{"issue":"6","key":"844_CR18","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/2980983.2908099","volume":"51","author":"S. Padhi","year":"2016","unstructured":"Padhi, S., Sharma, R., Millstein, T.: Data-driven precondition inference with learned features. ACM SIGPLAN Not. 51(6), 42\u201356 (2016)","journal-title":"ACM SIGPLAN Not."},{"key":"844_CR19","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/1390630.1390666","volume-title":"Proceedings of the 2008 International Symposium on Software Testing and Analysis","author":"S. Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Chaudhuri, S., Ivan\u010di\u0107, F., Gupta, A.: Dynamic inference of likely data preconditions over predicates by tree learning. In: Proceedings of the 2008 International Symposium on Software Testing and Analysis, pp.\u00a0295\u2013306 (2008)"},{"key":"844_CR20","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-642-37036-6_25","volume-title":"Programming Languages and Systems","author":"M.N. Seghir","year":"2013","unstructured":"Seghir, M.N., Kroening, D.: Counterexample-guided precondition inference. In: Felleisen, M., Gardner, P. (eds.) Programming Languages and Systems, pp.\u00a0451\u2013471. Springer, Berlin (2013)"},{"key":"844_CR21","first-page":"245","volume-title":"European Symposium on Programming","author":"S. Sumanth Prabhu","year":"2024","unstructured":"Sumanth Prabhu, S., Fedyukovich, G., D\u2019Souza, D.: Maximal quantified precondition synthesis for linear array loops. In: European Symposium on Programming, pp.\u00a0245\u2013274. Springer, Berlin (2024)"},{"key":"844_CR22","doi-asserted-by":"publisher","unstructured":"Zhou, Z., Dickerson, R., Delaware, B., Jagannathan, S.: Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. 5(OOPSLA) (2021). https:\/\/doi.org\/10.1145\/3485493","DOI":"10.1145\/3485493"},{"key":"844_CR23","first-page":"175","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Sumanth Prabhu","year":"2024","unstructured":"Sumanth Prabhu, S., D\u2019Souza, D., Chakraborty, S., Venkatesh, R., Fedyukovich, G.: Weakest precondition inference for non-deterministic linear array programs. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.\u00a0175\u2013195. Springer, Berlin (2024)"},{"key":"844_CR24","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-35873-9_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P. Cousot","year":"2013","unstructured":"Cousot, P., Cousot, R., F\u00e4hndrich, M., Logozzo, F.: Automatic inference of necessary preconditions. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) Verification, Model Checking, and Abstract Interpretation, pp.\u00a0128\u2013148. Springer, Berlin (2013)"},{"issue":"11","key":"844_CR25","doi-asserted-by":"publisher","first-page":"2312","DOI":"10.1109\/TSE.2019.2946563","volume":"47","author":"V.J. Man\u00e8s","year":"2019","unstructured":"Man\u00e8s, V.J., Han, H., Han, C., Cha, S.K., Egele, M., Schwartz, E.J., Woo, M.: The art, science, and engineering of fuzzing: a survey. IEEE Trans. Softw. Eng. 47(11), 2312\u20132331 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6245","key":"844_CR26","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1126\/science.aaa8415","volume":"349","author":"M.I. Jordan","year":"2015","unstructured":"Jordan, M.I., Mitchell, T.M.: Machine learning: trends, perspectives, and prospects. Science 349(6245), 255\u2013260 (2015)","journal-title":"Science"},{"issue":"11s","key":"844_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3512345","volume":"54","author":"X. Zhu","year":"2022","unstructured":"Zhu, X., Wen, S., Camtepe, S., Xiang, Y.: Fuzzing: a survey for roadmap. ACM Comput. Surv. 54(11s), 1\u201336 (2022)","journal-title":"ACM Comput. Surv."},{"key":"844_CR28","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/ICSE.2013.6606558","volume-title":"2013 35th International Conference on Software Engineering (ICSE)","author":"E. Bounimova","year":"2013","unstructured":"Bounimova, E., Godefroid, P., Molnar, D.: Billions and billions of constraints: whitebox fuzz testing in production. In: 2013 35th International Conference on Software Engineering (ICSE), pp.\u00a0122\u2013131. IEEE (2013)"},{"key":"844_CR29","unstructured":"Naveed, H., Khan, A.U., Qiu, S., Saqib, M., Anwar, S., Usman, M., Akhtar, N., Barnes, N., Mian, A.: A comprehensive overview of large language models. arXiv preprint (2023). arXiv:2307.06435"},{"key":"844_CR30","unstructured":"Chen, B., Zhang, F., Nguyen, A., Zan, D., Lin, Z., Lou, J.-G., Chen, W.: Codet: Code generation with generated tests. arXiv preprint (2022). arXiv:2207.10397"},{"key":"844_CR31","doi-asserted-by":"publisher","first-page":"1430","DOI":"10.1109\/ICSE48619.2023.00125","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE)","author":"N. Jiang","year":"2023","unstructured":"Jiang, N., Liu, K., Lutellier, T., Tan, L.: Impact of code language models on automated program repair. In: 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), pp.\u00a01430\u20131442. IEEE (2023)"},{"key":"844_CR32","doi-asserted-by":"publisher","first-page":"1395","DOI":"10.1145\/3691620.3695512","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering","author":"M.A. Pirzada","year":"2024","unstructured":"Pirzada, M.A., Reger, G., Bhayat, A., Cordeiro, L.C.: Llm-generated invariants for bounded model checking without loop unrolling. In: Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, pp.\u00a01395\u20131407 (2024)"},{"key":"844_CR33","unstructured":"OpenAI: Hello GPT-4o (2025). https:\/\/openai.com\/index\/hello-gpt-4o\/. Accessed 2025-27-05"},{"key":"844_CR34","unstructured":"OpenAI: introducing-o3-and-o4-mini (2025). https:\/\/openai.com\/index\/introducing-o3-and-o4-mini\/. Accessed 2025-27-05"},{"key":"844_CR35","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/3293882.3339002","volume-title":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"R. Padhye","year":"2019","unstructured":"Padhye, R., Lemieux, C., Sen, K.: Jqf: coverage-guided property-based testing in Java. In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp.\u00a0398\u2013401 (2019)"},{"key":"844_CR36","unstructured":"Schulhoff, S., Ilie, M., Balepur, N., Kahadze, K., Liu, A., Si, C., Li, Y., Gupta, A., Han, H., Schulhoff, S., et\u00a0al.: The prompt report: a systematic survey of prompting techniques. arXiv preprint (2024). arXiv:2406.06608"},{"key":"844_CR37","unstructured":"Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A.N., Kaiser, \u0141., Polosukhin, I.: Attention is all you need. Adv. Neural Inf. Process. Syst. 30 (2017)"},{"key":"844_CR38","unstructured":"Inan, H.A., Ramadan, O., Wutschitz, L., Jones, D., R\u00fchle, V., Withers, J., Sim, R.: Training data leakage analysis in language models. arXiv preprint (2021). arXiv:2101.05405"},{"key":"844_CR39","first-page":"1","volume-title":"International Conference on Computer Aided Verification","author":"L. Kov\u00e1cs","year":"2013","unstructured":"Kov\u00e1cs, L., Voronkov, A.: First-order theorem proving and vampire. In: International Conference on Computer Aided Verification, pp.\u00a01\u201335. Springer, Berlin (2013)"},{"issue":"1","key":"844_CR40","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Form. Methods Syst. Des. 19(1), 7\u201334 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"844_CR41","unstructured":"Wu, H., Barrett, C., Narodytska, N.: Lemur: Integrating large language models in automated program verification. arXiv preprint (2023). arXiv:2310.04870"},{"key":"844_CR42","first-page":"376","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"R.S. Menezes","year":"2024","unstructured":"Menezes, R.S., Aldughaim, M., Farias, B., Li, X., Manino, E., Shmarov, F., Song, K., Brau\u00dfe, F., Gadelha, M.R., Tihanyi, N., et al.: Esbmc v7.4: harnessing the power of intervals (competition contribution). In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.\u00a0376\u2013380. Springer, Berlin (2024)"},{"key":"844_CR43","first-page":"950","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Heizmann","year":"2016","unstructured":"Heizmann, M., Dietsch, D., Greitschus, M., Leike, J., Musa, B., Sch\u00e4tzle, C., Podelski, A.: Ultimate automizer with two-track proofs: (competition contribution). In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.\u00a0950\u2013953. Springer, Berlin (2016)"},{"key":"844_CR44","first-page":"27496","volume-title":"International Conference on Machine Learning","author":"K. Pei","year":"2023","unstructured":"Pei, K., Bieber, D., Shi, K., Sutton, C., Yin, P.: Can large language models reason about program invariants? In: International Conference on Machine Learning, pp.\u00a027496\u201327520. PMLR (2023)"},{"issue":"1\u20133","key":"844_CR45","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M.D. Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"key":"844_CR46","first-page":"1889","volume-title":"Proceedings of the ACM on Software Engineering 1 (FSE)","author":"M. Endres","year":"2024","unstructured":"Endres, M., Fakhoury, S., Chakraborty, S., Lahiri, S.K.: Can large language models transform natural language intent into formal method postconditions? In: Proceedings of the ACM on Software Engineering 1 (FSE), pp.\u00a01889\u20131912 (2024)"},{"key":"844_CR47","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-030-53291-8_9","volume-title":"Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21\u201324, 2020, Proceedings, Part II","author":"X. Si","year":"2020","unstructured":"Si, X., Naik, A., Dai, H., Naik, M., Song, L.: Code2inv: a deep learning framework for program verification. In: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21\u201324, 2020, Proceedings, Part II, vol.\u00a032, pp.\u00a0151\u2013164. Springer, Berlin (2020)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00844-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00844-2","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00844-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T13:05:36Z","timestamp":1781701536000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00844-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,12]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["844"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00844-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,12]]},"assertion":[{"value":"20 February 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 March 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}