{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T22:34:26Z","timestamp":1769726066488,"version":"3.49.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T00:00:00Z","timestamp":1738627200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T00:00:00Z","timestamp":1738627200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2025,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper presents a new approach to improve static program analysis using Large Language Models\u00a0(LLMs). The approach <jats:italic>interleaves<\/jats:italic> calls to the static analyzer and queries to the LLM. The query to the LLM is constructed based on intermediate results from the static analysis, and subsequent static analysis uses the results from the LLM query. We apply our approach to the problem of <jats:italic>error-specification inference<\/jats:italic>: given systems code written in\u00a0C, infer the set of values that each function can return on error. Such error specifications aid in program understanding and can be used to find error-handling bugs. We implemented our approach by incorporating LLMs into EESI, the state-of-the-art static analysis for error-specification inference. Compared to EESI, our approach achieves higher recall (from an average of 52.55% to 77.83%) and higher F1-score (from an average of 0.612 to 0.804) while maintaining precision (from an average of 86.67% to 85.12%) on real-world benchmarks such as Apache HTTPD and MbedTLS. We also conducted experiments to understand the sources of imprecision in our LLM-assisted analysis as well as the impact of LLM nondeterminism on the analysis results.<\/jats:p>","DOI":"10.1007\/s10009-025-00780-7","type":"journal-article","created":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T15:14:24Z","timestamp":1738682064000},"page":"239-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Interleaving static analysis and LLM prompting with applications to error specification inference"],"prefix":"10.1007","volume":"27","author":[{"given":"Patrick J.","family":"Chapman","sequence":"first","affiliation":[]},{"given":"Cindy","family":"Rubio-Gonz\u00e1lez","sequence":"additional","affiliation":[]},{"given":"Aditya V.","family":"Thakur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,2,4]]},"reference":[{"key":"780_CR1","series-title":"Proceedings, Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-00593-0_25","volume-title":"Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009","author":"M. Acharya","year":"2009","unstructured":"Acharya, M., Xie, T.: Mining API error-handling specifications from source code. In: Chechik, M., Wirsing, M. (eds.) Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009. York, UK, March 22\u201329, 2009. Proceedings, Lecture Notes in Computer Science, vol.\u00a05503, pp.\u00a0370\u2013384. Springer, York (2009). https:\/\/doi.org\/10.1007\/978-3-642-00593-0_25"},{"key":"780_CR2","doi-asserted-by":"publisher","first-page":"177:1","DOI":"10.1145\/3551349.3559555","volume-title":"37th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2022","author":"T. Ahmed","year":"2022","unstructured":"Ahmed, T., Devanbu, P.T.: Few-shot training llms for project-specific code-summarization. In: 37th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10\u201314, 2022, pp.\u00a0177:1\u2013177:5. ACM (2022). https:\/\/doi.org\/10.1145\/3551349.3559555"},{"key":"780_CR3","unstructured":"Brown, T.B., Mann, B., Ryder, N., Subbiah, M., Kaplan, J., Dhariwal, P., Neelakantan, A., Shyam, P., Sastry, G., Askell, A., Agarwal, S., Herbert-Voss, A., Krueger, G., Henighan, T., Child, R., Ramesh, A., Ziegler, D.M., Wu, J., Winter, C., Hesse, C., Chen, M., Sigler, E., Litwin, M., Gray, S., Chess, B., Clark, J., Berner, C., McCandlish, S., Radford, A., Sutskever, I., Amodei, D.: Language models are few-shot learners. In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H. (eds.) Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6\u201312, 2020, virtual (2020). https:\/\/proceedings.neurips.cc\/paper\/2020\/hash\/1457c0d6bfcb4967418bfb8ac142f64a-Abstract.html"},{"key":"780_CR4","doi-asserted-by":"publisher","first-page":"9164","DOI":"10.18653\/v1\/2023.findings-emnlp.614","volume-title":"Findings of the Association for Computational Linguistics: EMNLP 2023","author":"S. Chakraborty","year":"2023","unstructured":"Chakraborty, S., Lahiri, S.K., Fakhoury, S., Lal, A., Musuvathi, M., Rastogi, A., Senthilnathan, A., Sharma, R., Swamy, N.: Ranking LLM-generated loop invariants for program verification. In: Bouamor, H., Pino, J., Bali, K. (eds.) Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore December 6\u201310, 2023, pp.\u00a09164\u20139175. Association for Computational Linguistics (2023). https:\/\/doi.org\/10.18653\/v1\/2023.findings-emnlp.614"},{"key":"780_CR5","first-page":"9","volume-title":"SOAP@PLDI","author":"P.J. Chapman","year":"2024","unstructured":"Chapman, P.J., Rubio-Gonz\u00e1lez, C., Thakur, A.V.: Interleaving static analysis and LLM prompting. In: SOAP@PLDI, pp.\u00a09\u201317. ACM, New York (2024)"},{"key":"780_CR6","unstructured":"Chen, M., Tworek, J., Jun, H., Yuan, Q., de Oliveira Pinto, H.P., Kaplan, J., Edwards, H., Burda, Y., Joseph, N., Brockman, G., Ray, A., Puri, R., Krueger, G., Petrov, M., Khlaaf, H., Sastry, G., Mishkin, P., Chan, B., Gray, S., Ryder, N., Pavlov, M., Power, A., Kaiser, L., Bavarian, M., Winter, C., Tillet, P., Such, F.P., Cummings, D., Plappert, M., Chantzis, F., Barnes, E., Herbert-Voss, A., Guss, W.H., Nichol, A., Paino, A., Tezak, N., Tang, J., Babuschkin, I., Balaji, S., Jain, S., Saunders, W., Hesse, C., Carr, A.N., Leike, J., Achiam, J., Misra, V., Morikawa, E., Radford, A., Knight, M., Brundage, M., Murati, M., Mayer, K., Welinder, P., McGrew, B., Amodei, D., McCandlish, S., Sutskever, I., Zaremba, W.: Evaluating large language models trained on code. CoRR (2021). arXiv:2107.03374"},{"key":"780_CR7","volume-title":"ACL","author":"W. Cheng","year":"2024","unstructured":"Cheng, W., Wu, Y., Hu, W.: Dataflow-guided retrieval augmentation for repository-level code completion. In: ACL (2024)"},{"key":"780_CR8","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1145\/3314221.3314648","volume-title":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019","author":"V. Chibotaru","year":"2019","unstructured":"Chibotaru, V., Bichsel, B., Raychev, V., Vechev, M.T.: Scalable taint specification inference with big code. In: McKinley, K.S., Fisher, K. (eds.) Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA June 22\u201326, 2019, pp.\u00a0760\u2013774. ACM (2019). https:\/\/doi.org\/10.1145\/3314221.3314648"},{"key":"780_CR9","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1145\/3338906.3338960","volume-title":"ESEC\/SIGSOFT FSE 2019","author":"D. DeFreez","year":"2019","unstructured":"DeFreez, D., Baldwin, H.M., Rubio-Gonz\u00e1lez, C., Thakur, A.V.: Effective error-specification inference via domain-knowledge expansion. In: ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, August 26\u201330, 2019, pp.\u00a0466\u2013476. ACM, New York (2019). https:\/\/doi.org\/10.1145\/3338906.3338960"},{"key":"780_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1145\/3236024.3236059","volume-title":"ESEC\/SIGSOFT FSE 2018","author":"D. DeFreez","year":"2018","unstructured":"DeFreez, D., Thakur, A.V., Rubio-Gonz\u00e1lez, C.: Path-based function embedding and its application to error-handling specification mining. In: ESEC\/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA November 4\u20139, 2018, pp.\u00a0423\u2013433. ACM (2018). https:\/\/doi.org\/10.1145\/3236024.3236059"},{"key":"780_CR11","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1145\/3183440.3195042","volume-title":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018","author":"D. DeFreez","year":"2018","unstructured":"DeFreez, D., Thakur, A.V., Rubio-Gonz\u00e1lez, C.: Path-based function embeddings. In: Chaudron, M., Crnkovic, I., Chechik, M., Harman, M. (eds.) Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 \u2013 June 03, 2018, pp.\u00a0430\u2013431. ACM (2018). https:\/\/doi.org\/10.1145\/3183440.3195042"},{"key":"780_CR12","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/ICSE-SEIP55303.2022.9794015","volume-title":"44th IEEE\/ACM International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2022","author":"S. Dutta","year":"2022","unstructured":"Dutta, S., Garbervetsky, D., Lahiri, S.K., Sch\u00e4fer, M.: Inspectjs: leveraging code similarity and user-feedback for effective taint specification inference for JavaScript. In: 44th IEEE\/ACM International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2022, Pittsburgh, PA, USA, May 22\u201324, 2022, pp.\u00a0165\u2013174. IEEE (2022). https:\/\/doi.org\/10.1109\/ICSE-SEIP55303.2022.9794015"},{"key":"780_CR13","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1109\/DSN.2003.1209955","volume-title":"2003 International Conference on Dependable Systems and Networks (DSN 2003), June 22\u201325, 2003, San Francisco, CA, USA, Proceedings","author":"C. Fetzer","year":"2003","unstructured":"Fetzer, C., H\u00f6gstedt, K., Felber, P.: Automatic detection and masking of non-atomic exception handling. In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), June 22\u201325, 2003, San Francisco, CA, USA, Proceedings, pp.\u00a0445\u2013454. IEEE Computer Society (2003). https:\/\/doi.org\/10.1109\/DSN.2003.1209955"},{"key":"780_CR14","unstructured":"GitHub: Codeql (2021). https:\/\/codeql.github.com"},{"key":"780_CR15","doi-asserted-by":"publisher","unstructured":"Jr, F.B., Black, P.: The Juliet 1.1 C\/C++ and Java test suite 45(10) (2012). https:\/\/doi.org\/10.1109\/MC.2012.345","DOI":"10.1109\/MC.2012.345"},{"key":"780_CR16","doi-asserted-by":"publisher","unstructured":"Kamath, A., Senthilnathan, A., Chakraborty, S., Deligiannis, P., Lahiri, S.K., Lal, A., Rastogi, A., Roy, S., Sharma, R.: Finding inductive loop invariants using large language models. CoRR (2023). https:\/\/doi.org\/10.48550\/arXiv.2311.07948. arXiv:2311.07948","DOI":"10.48550\/arXiv.2311.07948"},{"key":"780_CR17","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/2970276.2970354","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016","author":"Y.J. Kang","year":"2016","unstructured":"Kang, Y.J., Ray, B., Jana, S.: Apex: automated inference of error specifications for C apis. In: Lo, D., Apel, S., Khurshid, S. (eds.) Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3\u20137, 2016, pp.\u00a0472\u2013482. ACM (2016). https:\/\/doi.org\/10.1145\/2970276.2970354"},{"key":"780_CR18","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/CGO.2004.1281665","volume-title":"2nd IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2004)","author":"C. Lattner","year":"2004","unstructured":"Lattner, C., Adve, V.S.: LLVM: a compilation framework for lifelong program analysis & transformation. In: 2nd IEEE \/ ACM International Symposium on Code Generation and Optimization (CGO 2004), San Jose, CA, USA, March 20\u201324, 2004, pp.\u00a075\u201388. IEEE Computer Society (2004). https:\/\/doi.org\/10.1109\/CGO.2004.1281665"},{"key":"780_CR19","volume-title":"NeurIPS","author":"P.S.H. Lewis","year":"2020","unstructured":"Lewis, P.S.H., Perez, E., Piktus, A., Petroni, F., Karpukhin, V., Goyal, N., K\u00fcttler, H., Lewis, M., Yih, W., Rockt\u00e4schel, T., Riedel, S., Kiela, D.: Retrieval-augmented generation for knowledge-intensive NLP tasks. In: NeurIPS (2020)"},{"key":"780_CR20","doi-asserted-by":"publisher","first-page":"2107","DOI":"10.1145\/3611643.3613078","volume-title":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2023","author":"H. Li","year":"2023","unstructured":"Li, H., Hao, Y., Zhai, Y., Qian, Z.: Assisting static analysis with large language models: a ChatGPT experiment. In: Chandra, S., Blincoe, K., Tonella, P. (eds.) Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2023, San Francisco, CA, USA, December 3\u20139, 2023, pp.\u00a02107\u20132111. ACM (2023). https:\/\/doi.org\/10.1145\/3611643.3613078"},{"key":"780_CR21","doi-asserted-by":"crossref","unstructured":"Li, H., Hao, Y., Zhai, Y., Qian, Z.: Enhancing static analysis for practical bug detection: an LLM-integrated approach (2024)","DOI":"10.1145\/3649828"},{"key":"780_CR22","doi-asserted-by":"publisher","unstructured":"OpenAI: GPT-4 technical report (2023). https:\/\/doi.org\/10.48550\/arXiv.2303.08774","DOI":"10.48550\/arXiv.2303.08774"},{"key":"780_CR23","unstructured":"OpenAI: GPT-4o (2024a). https:\/\/openai.com\/index\/hello-gpt-4o\/"},{"key":"780_CR24","unstructured":"OpenAI: OpenAI developer platform (2024b). https:\/\/platform.openai.com\/docs\/overview"},{"key":"780_CR25","first-page":"311","volume-title":"ACL","author":"K. Papineni","year":"2002","unstructured":"Papineni, K., Roukos, S., Ward, T., Zhu, W.: Bleu: a method for automatic evaluation of machine translation. In: ACL, pp.\u00a0311\u2013318. ACL (2002)"},{"key":"780_CR26","unstructured":"Pei, K., Bieber, D., Shi, K., Sutton, C., Yin, P.: Can large language models reason about program invariants? In: Krause, A., Brunskill, E., Cho, K., Engelhardt, B., Sabato, S., Scarlett, J. (eds.) International Conference on Machine Learning, ICML 2023, Honolulu, Hawaii, USA, July 23\u201329, 2023. Proceedings of Machine Learning Research, vol.\u00a0202, pp.\u00a027496\u201327520. PMLR (2023). https:\/\/proceedings.mlr.press\/v202\/pei23a.html"},{"key":"780_CR27","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1109\/DSN.2005.65","volume-title":"2005 International Conference on Dependable Systems and Networks (DSN 2005), 28\u00a0June \u2013 1 July 2005, Yokohama, Japan, Proceedings","author":"V. Prabhakaran","year":"2005","unstructured":"Prabhakaran, V., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H.: Model-based failure analysis of journaling file systems. In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28\u00a0June \u2013 1 July 2005, Yokohama, Japan, Proceedings, pp.\u00a0802\u2013811. IEEE Computer Society (2005). https:\/\/doi.org\/10.1109\/DSN.2005.65"},{"key":"780_CR28","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/1095810.1095830","volume-title":"Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005","author":"V. Prabhakaran","year":"2005","unstructured":"Prabhakaran, V., Bairavasundaram, L.N., Agrawal, N., Gunawi, H.S., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H.: IRON file systems. In: Herbert, A., Birman, K.P. (eds.) Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23\u201326, 2005, pp.\u00a0206\u2013220. ACM (2005). https:\/\/doi.org\/10.1145\/1095810.1095830"},{"key":"780_CR29","unstructured":"Radford, A., Narasimhan, K.: Improving language understanding by generative pre-training (2018). https:\/\/s3-us-west-2.amazonaws.com\/openai-assets\/research-covers\/language-unsupervised\/language_understanding_paper.pdf"},{"key":"780_CR30","unstructured":"Ren, S., Guo, D., Lu, S., Zhou, L., Liu, S., Tang, D., Sundaresan, N., Zhou, M., Blanco, A., Ma, S.: CodeBLEU: a method for automatic evaluation of code synthesis. CoRR (2020). arXiv:2009.10297"},{"key":"780_CR31","doi-asserted-by":"publisher","unstructured":"Robertson, S., Zaragoza, H.: The probabilistic relevance framework: BM25 and beyond. 3(4), 333\u2013389 (2009). ISSN 1554-0669. https:\/\/doi.org\/10.1561\/1500000019","DOI":"10.1561\/1500000019"},{"key":"780_CR32","doi-asserted-by":"publisher","unstructured":"Rozi\u00e8re, B., Gehring, J., Gloeckle, F., Sootla, S., Gat, I., Tan, X.E., Adi, Y., Liu, J., Remez, T., Rapin, J., Kozhevnikov, A., Evtimov, I., Bitton, J., Bhatt, M., Canton-Ferrer, C., Grattafiori, A., Xiong, W., D\u00e9fossez, A., Copet, J., Azhar, F., Touvron, H., Martin, L., Usunier, N., Scialom, T., Synnaeve, G.: Code Llama: Open foundation models for code. CoRR (2023). https:\/\/doi.org\/10.48550\/arXiv.2308.12950. arXiv:2308.12950","DOI":"10.48550\/arXiv.2308.12950"},{"key":"780_CR33","unstructured":"Sparck Jones, K.: A statistical interpretation of term specificity and its application in retrieval, pp.\u00a0132\u2013142. Taylor Graham Publishing, GBR (1988). ISBN\u00a00947568212"},{"key":"780_CR34","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/EDCC.2006.3","volume-title":"Sixth European Dependable Computing Conference, EDCC 2006","author":"M. S\u00fc\u00dfkraut","year":"2006","unstructured":"S\u00fc\u00dfkraut, M., Fetzer, C.: Automatically finding and patching bad error handling. In: Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, October 18\u201320, 2006, pp.\u00a013\u201322. IEEE Computer Society (2006). https:\/\/doi.org\/10.1109\/EDCC.2006.3"},{"key":"780_CR35","doi-asserted-by":"publisher","unstructured":"Touvron, H., Martin, L., Stone, K., Albert, P., Almahairi, A., Babaei, Y., Bashlykov, N., Batra, S., Bhargava, P., Bhosale, S., Bikel, D., Blecher, L., Canton-Ferrer, C., Chen, M., Cucurull, G., Esiobu, D., Fernandes, J., Fu, J., Fu, W., Fuller, B., Gao, C., Goswami, V., Goyal, N., Hartshorn, A., Hosseini, S., Hou, R., Inan, H., Kardas, M., Kerkez, V., Khabsa, M., Kloumann, I., Korenev, A., Koura, P.S., Lachaux, M., Lavril, T., Lee, J., Liskovich, D., Lu, Y., Mao, Y., Martinet, X., Mihaylov, T., Mishra, P., Molybog, I., Nie, Y., Poulton, A., Reizenstein, J., Rungta, R., Saladi, K., Schelten, A., Silva, R., Smith, E.M., Subramanian, R., Tan, X.E., Tang, B., Taylor, R., Williams, A., Kuan, J.X., Xu, P., Yan, Z., Zarov, I., Zhang, Y., Fan, A., Kambadur, M., Narang, S., Rodriguez, A., Stojnic, R., Edunov, S., Scialom, T. (eds.): Llama 2: Open foundation and fine-tuned chat models. CoRR (2023). arXiv:2307.09288. https:\/\/doi.org\/10.48550\/arXiv.2307.09288","DOI":"10.48550\/arXiv.2307.09288"},{"key":"780_CR36","first-page":"5998","volume-title":"Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017","author":"A. Vaswani","year":"2017","unstructured":"Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A.N., Kaiser, L., Polosukhin, I.: Attention is all you need. In: Luxburg, U., Bengio, S., Wallach, H.M., Fergus, R., Vishwanathan, S.V.N., Garnett, R. (eds.) Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, Long Beach, CA, USA, December 4\u20139, 2017, pp.\u00a05998\u20136008 (2017). https:\/\/proceedings.neurips.cc\/paper\/2017\/hash\/3f5ee243547dee91fbd053c1c4a845aa-Abstract.html"},{"key":"780_CR37","volume-title":"The Eleventh International Conference on Learning Representations","author":"X. Wang","year":"2023","unstructured":"Wang, X., Wei, J., Schuurmans, D., Le, Q.V., Chi, E.H., Narang, S., Chowdhery, A., Zhou, D.: Self-consistency improves chain of thought reasoning in language models. In: The Eleventh International Conference on Learning Representations (2023). https:\/\/openreview.net\/forum?id=1PL1NIMMrw"},{"key":"780_CR38","doi-asserted-by":"publisher","unstructured":"Wei, J., Wang, X., Schuurmans, D., Bosma, M., Ichter, B., Xia, F., Chi, E., Le, Q., Zhou, D.: Chain-of-thought prompting elicits reasoning in large language models (2023). https:\/\/doi.org\/10.48550\/arXiv.2201.11903","DOI":"10.48550\/arXiv.2201.11903"},{"key":"780_CR39","doi-asserted-by":"publisher","unstructured":"Wen, C., Cai, Y., Zhang, B., Su, J., Xu, Z., Liu, D., Qin, S., Ming, Z., Tian, C.: Automatically inspecting thousands of static bug warnings with large language model: How far are we? ACM Trans. Knowl. Discov. Data (2024). https:\/\/doi.org\/10.1145\/3653718. ISSN 1556-4681","DOI":"10.1145\/3653718"},{"issue":"OOPSLA","key":"780_CR40","doi-asserted-by":"publisher","first-page":"160:1","DOI":"10.1145\/3360586","volume":"3","author":"B. Wu","year":"2019","unstructured":"Wu, B., C, J.P. III, He, Y., Schlecht, A., Chen, S.: Generating precise error specifications for C: a zero shot learning approach. Proc. ACM Program. Lang. 3(OOPSLA), 160:1\u2013160:30 (2019). https:\/\/doi.org\/10.1145\/3360586","journal-title":"Proc. ACM Program. Lang."}],"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-025-00780-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-025-00780-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-025-00780-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T13:18:26Z","timestamp":1749647906000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-025-00780-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,4]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["780"],"URL":"https:\/\/doi.org\/10.1007\/s10009-025-00780-7","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,4]]},"assertion":[{"value":"23 January 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 February 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}