{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:05:23Z","timestamp":1784300723827,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":73,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803437.3805202","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"282-293","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Just-in-Time Catching Test Generation at Meta"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-9860-3583","authenticated-orcid":false,"given":"Matthew","family":"Becker","sequence":"first","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1059-933X","authenticated-orcid":false,"given":"Yifei","family":"Chen","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5212-3817","authenticated-orcid":false,"given":"Nicholas","family":"Cochran","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1685-8067","authenticated-orcid":false,"given":"Pouyan","family":"Ghasemi","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5347-5321","authenticated-orcid":false,"given":"Abhishek","family":"Gulati","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5864-4488","authenticated-orcid":false,"given":"Mark","family":"Harman","sequence":"additional","affiliation":[{"name":"UCL and Meta, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-0272-7808","authenticated-orcid":false,"given":"Zachary","family":"Haluza","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4172-2124","authenticated-orcid":false,"given":"Mehrdad","family":"Honarkhah","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-9727-4562","authenticated-orcid":false,"given":"Herve","family":"Robert","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1449-5038","authenticated-orcid":false,"given":"Jiacheng","family":"Liu","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0604-6842","authenticated-orcid":false,"given":"Weini","family":"Liu","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4848-5429","authenticated-orcid":false,"given":"Sreeja","family":"Thummala","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5929-5627","authenticated-orcid":false,"given":"Xiaoning","family":"Yang","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9563-1242","authenticated-orcid":false,"given":"Rui","family":"Xin","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-5012-6699","authenticated-orcid":false,"given":"Sophie","family":"Zeng","sequence":"additional","affiliation":[{"name":"Meta, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Rui Abreu Vijayaraghavan Murali Peter C Rigby Chandra Maddila Weiyan Sun Jun Ge Kaavya Chinniah Audris Mockus Megh Mehta and Nachiappan Nagappan. 2024. Moving Faster and Reducing Risk: Using LLMs in Release Deployment. arXiv:2410.06351 [cs.SE] https:\/\/arxiv.org\/abs\/2410.06351"},{"key":"e_1_3_2_1_2_1","volume-title":"Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Laemmel, Erik Meijer, Silvia Sapora, and Justin Spahr-Summers.","author":"Ahlgren John","year":"2020","unstructured":"John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Laemmel, Erik Meijer, Silvia Sapora, and Justin Spahr-Summers. 2020. WES: Agent-based User Interaction Simulation on Real Infrastructure (keynote paper). In 8th Genetic improvement workshop (GI at ICSE 2020), Shin Yoo, Justyna Petke, Westley Weimer, and Bobby R. Bruce (Eds.). ACM, 276\u2013284."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00023"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3463274.3463275"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3639477.3639729"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663839"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99241-9_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663838"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606617"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_13_1","unstructured":"Matthew Becker Yifei Chen Nicholas Cochran Pouyan Ghasemi Abhishek Gulati Mark Harman Zachary Haluza Mehrdad Honarkhah Herve Robert Jiacheng Liu Weini Liu Sreeja Thummala Xiaoning Yang Rui Xin and Sophie Zeng. 2026. Just-in-Time Catching Test Generation at Meta. arXiv:2601.22832 [cs.SE] https:\/\/arxiv.org\/abs\/2601.22832"},{"key":"e_1_3_2_1_14_1","volume-title":"International Conference on Reliable Software","author":"Boyer Robert S.","unstructured":"Robert S. Boyer, Bernard Elspas, and Karl N. Levitt. 1975. SELECT - a Formal System for Testing and Debugging Programs by Symbolic Execution. In International Conference on Reliable Software (Los Angeles, California). ACM, New York, NY, USA, 234\u2013245."},{"key":"e_1_3_2_1_15_1","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. 2008. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.. In OSDI, Vol. 8. 209\u2013224.","journal-title":"OSDI"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"C. Calcagno D. Distefano J. Dubreil D. Gabi P. Hooimeijer M. Luca P. W. O'Hearn I. Papakonstantinou J. Purbrick and D. Rodriguez. 2015. Moving Fast with Software Verification. In NASA Formal Methods - 7th International Symposium. 3\u201311.","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.61"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663801"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203771587"},{"key":"e_1_3_2_1_21_1","volume-title":"The Productivity Effects of Generative AI: Evidence from a Field Experiment with GitHub Copilot. An MIT Exploration of Generative AI (mar 27","author":"Cui Kevin Zheyuan","year":"2024","unstructured":"Kevin Zheyuan Cui, Mert Demirer, Sonia Jaffe, Leon Musolff, Sida Peng, and Tobias Salz. 2024. The Productivity Effects of Generative AI: Evidence from a Field Experiment with GitHub Copilot. An MIT Exploration of Generative AI (mar 27 2024). https:\/\/mit-genai.pubpub.org\/pub\/v5iixksv."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338112"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-FoSE59343.2023.00008"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2013.25"},{"key":"e_1_3_2_1_26_1","volume-title":"2025 ACM Conference on Foundations of Software Engineering (FSE","author":"Foster Christopher","year":"2025","unstructured":"Christopher Foster, Abhishek Gulati, Mark Harman, Inna Harper, Ke Mao, Jillian Ritchey, Herv\u00e9 Robert, and Shubho Sengupta. 2025. Mutation-Guided LLM-based Test Generation at Meta. In 2025 ACM Conference on Foundations of Software Engineering (FSE 2025). ACM. Also available as arXiv preprint arXiv:2501.12862."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2685612"},{"key":"e_1_3_2_1_29_1","unstructured":"Yujia Fu Peng Liang Amjed Tahir Zengyang Li Mojtaba Shahin Jiaxin Yu and Jinfu Chen. 2025. Security Weaknesses of Copilot-Generated Code in GitHub Projects: An Empirical Study. arXiv:2310.02059 [cs.SE] https:\/\/arxiv.org\/abs\/2310.02059"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/19345747.2011.618213"},{"key":"e_1_3_2_1_31_1","unstructured":"Gitclear. [n. d.]. Coding on Copilot: 2023 Data Suggests Downward Pressure on Code Quality. https:\/\/www.gitclear.com\/coding_on_copilot_data_shows_ais_downward_pressure_on_code_quality"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3235-1"},{"key":"e_1_3_2_1_35_1","volume-title":"8th IEEE International Conference on Software Testing, Verification and Validation (ICST","author":"Harman Mark","year":"2015","unstructured":"Mark Harman, Yue Jia, and Yuanyuan Zhang. 2015. Achievements, open problems and challenges for search based software testing (keynote Paper). In 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015). Graz, Austria."},{"key":"e_1_3_2_1_36_1","volume-title":"Jerffeson Teixeira de Souza, and Shin Yoo","author":"Harman Mark","year":"2012","unstructured":"Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, and Shin Yoo. 2012. Search Based Software Engineering: Techniques, Taxonomy, Tutorial. In Empirical software engineering and verification: LASER 2009\u20132010, Bertrand Meyer and Martin Nordio (Eds.). Springer, 1\u201359. LNCS 7007."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2018.00009"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696630.3734199"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/75.4.800"},{"key":"e_1_3_2_1_40_1","volume-title":"TOGLL: Correct and strong test oracle generation with LLMs. arXiv preprint arXiv:2405.03786","author":"Hossain Soneya Binta","year":"2024","unstructured":"Soneya Binta Hossain and Matthew Dwyer. 2024. TOGLL: Correct and strong test oracle generation with LLMs. arXiv preprint arXiv:2405.03786 (2024)."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549086"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2934409"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346057"},{"key":"e_1_3_2_1_46_1","unstructured":"Kaibo Liu Zhenpeng Chen Yiyang Liu Jie M. Zhang Mark Harman Yudong Han Yun Ma Yihong Dong Ge Li and Gang Huang. 2025. LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs. (2025). arXiv:2404.10304 [cs.SE] https:\/\/arxiv.org\/abs\/2404.10304"},{"key":"e_1_3_2_1_47_1","volume-title":"Manuel Egele, Edward J. Schwartz, and Maverick Woo.","author":"Man\u00e8s Valentin J. M.","year":"2018","unstructured":"Valentin J. M. Man\u00e8s, HyungSeok Han, Choongwoo Han, Sang Kil Cha, Manuel Egele, Edward J. Schwartz, and Maverick Woo. 2018. The Art, Science, and Engineering of Fuzzing: A Survey. CoRR abs\/1812.00140 (2018). arXiv:1812.00140"},{"key":"e_1_3_2_1_48_1","volume-title":"Sapienz: Multi-objective Automated Testing for Android Applications. In International Symposium on Software Testing and Analysis (ISSTA","author":"Mao Ke","year":"2016","unstructured":"Ke Mao, Mark Harman, and Yue Jia. 2016. Sapienz: Multi-objective Automated Testing for Android Applications. In International Symposium on Software Testing and Analysis (ISSTA 2016). 94\u2013105."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST53961.2022.00036"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_51_1","volume-title":"Present and Future. In International Workshop on Search-Based Software Testing (SBST 2011)","author":"McMinn Phil","year":"2011","unstructured":"Phil McMinn. 2011. Search-Based Software Testing: Past, Present and Future. In International Workshop on Search-Based Software Testing (SBST 2011) (Berlin, Germany). IEEE, 153\u2013163. Keynote paper."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337209"},{"key":"e_1_3_2_1_53_1","volume-title":"Test Oracle Automation in the era of LLMs. ACM Transactions on Software Engineering and Methodology","author":"Molina Facundo","year":"2024","unstructured":"Facundo Molina, Alessandra Gorla, and Marcelo d'Amorim. 2024. Test Oracle Automation in the era of LLMs. ACM Transactions on Software Engineering and Methodology (2024)."},{"key":"e_1_3_2_1_54_1","unstructured":"Daniel Otten Trevor Stalnaker Nathan Wintersgill Oscar Chaparro and Denys Poshyvanyk. 2025. Prompting in Practice: Investigating Software Developers' Use of Generative AI Tools. arXiv:2510.06000 [cs.SE] https:\/\/arxiv.org\/abs\/2510.06000"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1136\/bmj.316.7139.1236"},{"key":"e_1_3_2_1_57_1","volume-title":"Coverup: Coverage-guided LLM-based test generation. arXiv preprint arXiv:2403.16218","author":"Pizzorno Juan Altmayer","year":"2024","unstructured":"Juan Altmayer Pizzorno and Emery D Berger. 2024. Coverup: Coverage-guided LLM-based test generation. arXiv preprint arXiv:2403.16218 (2024)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1097\/00001648-199001000-00010"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643769"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183525"},{"key":"e_1_3_2_1_61_1","volume-title":"An empirical evaluation of using large language models for automated unit test generation","author":"Sch\u00e4fer Max","year":"2023","unstructured":"Max Sch\u00e4fer, Sarah Nadi, Aryaz Eghbali, and Frank Tip. 2023. An empirical evaluation of using large language models for automated unit test generation. IEEE Transactions on Software Engineering (2023)."},{"key":"e_1_3_2_1_62_1","unstructured":"Max Sch\u00e4fer Sarah Nadi Aryaz Eghbali and Frank Tip. 2023. Adaptive Test Generation Using a Large Language Model. arXiv:2302.06527."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA482657"},{"key":"e_1_3_2_1_64_1","volume-title":"Foundations of software measurement","author":"Shepperd Martin J.","unstructured":"Martin J. Shepperd. 1995. Foundations of software measurement. Prentice Hall."},{"key":"e_1_3_2_1_65_1","volume-title":"Prompt Engineering or Fine Tuning: An Empirical Assessment of Large Language Models in Automated Software Engineering Tasks. arXiv preprint arXiv:2310.10508","author":"Shin Jiho","year":"2023","unstructured":"Jiho Shin, Clark Tang, Tahmineh Mohati, Maleknaz Nayebi, Song Wang, and Hadi Hemmati. 2023. Prompt Engineering or Fine Tuning: An Empirical Assessment of Large Language Models in Automated Software Engineering Tasks. arXiv preprint arXiv:2310.10508 (2023)."},{"key":"e_1_3_2_1_66_1","volume-title":"Simulation-Driven Automated End-to-End Test and Oracle Inference. In 45th IEEE\/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023","author":"Tuli Shreshth","year":"2023","unstructured":"Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-Yu Wang, and Graham Wright. 2023. Simulation-Driven Automated End-to-End Test and Oracle Inference. In 45th IEEE\/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14\u201320, 2023. IEEE, 122\u2013133."},{"key":"e_1_3_2_1_67_1","unstructured":"Junjie Wang Yuchao Huang Chunyang Chen Zhe Liu Song Wang and Qing Wang. 2023. Software Testing with Large Language Model: Survey Landscape and Vision. arXiv:2307.07221."},{"key":"e_1_3_2_1_68_1","first-page":"4","article-title":"On Testing Non-Testable","volume":"25","author":"Weyuker Elaine J.","year":"1982","unstructured":"Elaine J. Weyuker. 1982. On Testing Non-Testable Programs. Comput. J. 25, 4 (Nov. 1982), 465\u2013470.","journal-title":"Programs. Comput. J."},{"key":"e_1_3_2_1_69_1","volume-title":"Schmidt","author":"White Jules","year":"2023","unstructured":"Jules White, Sam Hays, Quchen Fu, Jesse Spencer-Smith, and Douglas C. Schmidt. 2023. ChatGPT Prompt Patterns for Improving Code Quality, Refactoring, Requirements Elicitation, and Software Design. arXiv:2303.07839."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643773"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"crossref","unstructured":"Andreas Zeller. 2009. Why programs fail: a guide to systematic debugging. Morgan Kaufmann.","DOI":"10.1016\/B978-0-12-374515-6.00006-X"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610404"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"crossref","unstructured":"Lianmin Zheng Wei-Lin Chiang Ying Sheng Siyuan Zhuang Zhanghao Wu Yonghao Zhuang Zi Lin Zhuohan Li Dacheng Li Eric Xing et al. 2023. Judging LLM-as-a-judge with MT-bench and chatbot arena. Advances in Neural Information Processing Systems (NeurIPS 2023) 36 (2023) 46595\u201346623.","DOI":"10.52202\/075280-2020"}],"event":{"name":"FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering","location":"Concordia University Montreal QC Canada","acronym":"FSE Companion '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803437.3805202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:29:31Z","timestamp":1784298571000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3805202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":73,"alternative-id":["10.1145\/3803437.3805202","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3805202","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}