{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:58:07Z","timestamp":1784300287758,"version":"3.55.0"},"reference-count":47,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,3,31]]},"DOI":"10.1109\/icstw64639.2025.10962485","type":"proceedings-article","created":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T17:47:42Z","timestamp":1744825662000},"page":"358-367","source":"Crossref","is-referenced-by-count":5,"title":["Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging"],"prefix":"10.1109","author":[{"given":"Philipp","family":"Straubinger","sequence":"first","affiliation":[{"name":"University of Passau,Passau,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marvin","family":"Kreis","sequence":"additional","affiliation":[{"name":"University of Passau,Passau,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephan","family":"Lukasczyk","sequence":"additional","affiliation":[{"name":"JetBrains Research,Munich,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[{"name":"University of Passau,Passau,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"The cost of poor software quality in the us: A 2022 report","author":"Krasner","year":"2022"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/informatics9010028"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70712"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2017.108"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3422392.3422407"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref7","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"USENIX Symp. on Operating Systems Design and Implementation","author":"Cadar"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-naacl.87"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3389\/frai.2023.1199350"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-024-10594-x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516829"},{"key":"ref12","article-title":"Attention is all you need","volume-title":"Advances in Neural Information Processing Systems: Annual Conference on Neural Information Processing Systems","author":"Vaswani"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"key":"ref14","article-title":"Training language models to follow instructions with human feedback","volume-title":"Advances in Neural Information Processing Systems: Annual Conference on Neural Information Processing Systems","author":"Ouyang"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.naacl-main.211"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549162"},{"key":"ref17","article-title":"Language models are few-shot learners","volume-title":"Advances in Neural Information Processing Systems: Annual Conference on Neural Information Processing Systems 2020, NeurIPS","author":"Brown"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3128234"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560422"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417058"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3660783"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3334955"},{"key":"ref23","article-title":"An empirical study of unit test generation with large language models","volume":"abs\/2406.18181","author":"Yang","year":"2024","journal-title":"CoRR"},{"key":"ref24","article-title":"Design choices made by llm-based test generators prevent them from finding bugs","volume":"abs\/2412.14137","author":"Mathews","year":"2024","journal-title":"CoRR"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref26","volume-title":"Why programs fail: a guide to systematic debugging.","author":"Zeller","year":"2009"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44874-8"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/475424a"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10248-w"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177730491.MR0022058.Zbl0041.26103"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0469-y"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2663435"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"ref37","article-title":"Evaluating the dynamic behaviour of python applications","volume-title":"Australasian Computer Science Conference","author":"Holkner"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3663532.3664466"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3639478.3640024"},{"key":"ref40","article-title":"Chatunitest: a chatgpt-based automated unit test generation tool","volume":"abs\/2305.04764","author":"Xie","year":"2023","journal-title":"CoRR"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3382365"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3624032.3624035"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00085"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3671016.3674813"},{"key":"ref45","article-title":"Testart: Improving llm-based unit test via co-evolution of automated generation and repair iteration","volume":"abs\/2408.03095","author":"Gu","year":"2024","journal-title":"CoRR"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3368208"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2024.107468"}],"event":{"name":"2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","location":"Naples, Italy","start":{"date-parts":[[2025,3,31]]},"end":{"date-parts":[[2025,4,4]]}},"container-title":["2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10962452\/10962453\/10962485.pdf?arnumber=10962485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T05:27:05Z","timestamp":1744867625000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10962485\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/icstw64639.2025.10962485","relation":{},"subject":[],"published":{"date-parts":[[2025,3,31]]}}}