{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:07:27Z","timestamp":1747886847734,"version":"3.41.0"},"reference-count":43,"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\/icst62969.2025.10988950","type":"proceedings-article","created":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T17:05:21Z","timestamp":1747760721000},"page":"646-657","source":"Crossref","is-referenced-by-count":0,"title":["Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs"],"prefix":"10.1109","author":[{"given":"Ricardo","family":"Brancas","sequence":"first","affiliation":[{"name":"INESC-ID\/IST - Universidade de Lisboa,Lisbon,Portugal"}]},{"given":"Vasco","family":"Manquinho","sequence":"additional","affiliation":[{"name":"INESC-ID\/IST - Universidade de Lisboa,Lisbon,Portugal"}]},{"given":"Ruben","family":"Martins","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University,Pittsburgh,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9394"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/s1471068418000492"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/s1471068417000217"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3191315.3191317"},{"volume-title":"Answer Set Solving in Practice, ser. Synthesis Lectures on Artificial Intelligence and Machine Learning","year":"2012","author":"Gebser","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192387"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3510418"},{"issue":"2","key":"ref10","doi-asserted-by":"crossref","first-page":"177","DOI":"10.3233\/AIC-2011-0495","article-title":"Symmetry-breaking answer set solving","volume":"24","author":"Drescher","year":"2011","journal-title":"AI Commun."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51825-7_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330574"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510147"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623342"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/taes.2016.140952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352098"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.14778\/3415478.3415492"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416613"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/icse43902.2021.00023"},{"key":"ref20","first-page":"232","article-title":"Towards reliable SQL synthesis: Fuzzing-based evaluation and disambiguation","volume-title":"Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024","volume":"14573","author":"Brancas","year":"2024"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3646547.3688443"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3649165.3690106"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3233\/sat190083"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/s1471068418000054"},{"key":"ref25","article-title":"Gemma: Open models based on gemini research and technology","volume":"abs\/2403.08295","author":"Mesnard","year":"2024","journal-title":"CoRR"},{"key":"ref26","article-title":"Codegemma: Open code models based on gemma","volume":"abs\/2406.11409","author":"Zhao","year":"2024","journal-title":"CoRR"},{"key":"ref27","article-title":"Starcoder 2 and the stack v2: The next generation","volume":"abs\/2402.19173","author":"Lozhkov","year":"2024","journal-title":"CoRR"},{"key":"ref28","article-title":"Phi-3 technical report: A highly capable language model locally on your phone","volume":"abs\/2404.14219","author":"Abdin","year":"2024","journal-title":"CoRR"},{"volume-title":"Peft: State-of-the-art parameter-efficient fine-tuning methods","year":"2022","author":"Mangrulkar","key":"ref29"},{"key":"ref30","article-title":"Lora: Low-rank adaptation of large language models","volume-title":"The Tenth International Conference on Learning Representations, ICLR 2022","author":"Hu","year":"2022"},{"article-title":"Code with codeqwen1.5","volume-title":"Qwen Team","year":"2024","key":"ref31"},{"key":"ref32","first-page":"224","article-title":"Uniform equivalence of logic programs under the stable model semantics","volume-title":"Logic Programming, 19th International Conference, ICLP 2003","volume":"2916","author":"Eiter","year":"2003"},{"key":"ref33","first-page":"97","article-title":"On solution correspondences in answer-set programming","volume-title":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","author":"Eiter","year":"2005"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3422361"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1017\/s1471068410000402"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1017\/s1471068410000256"},{"key":"ref37","first-page":"323","article-title":"Debugging answerset programs with ouroboros - extending the sealion plugin","volume-title":"Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013","volume":"8148","author":"Fr\u00fchst\u00fcck","year":"2013"},{"key":"ref38","first-page":"40","article-title":"Advances in WASP","volume-title":"Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015","volume":"9345","author":"Alviano","year":"2015"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3658668"},{"issue":"1","key":"ref40","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/TSE.2011.104","article-title":"Genprog: A generic method for automatic software repair","volume":"38","author":"Le Goues","year":"2012","journal-title":"IEEE Trans. Software Eng."},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238162"},{"key":"ref42","first-page":"55:1","article-title":"ICEBAR: feedback-driven iterative repair of alloy specifications","volume-title":"37th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2022","author":"Brida","year":"2022"},{"key":"ref43","first-page":"666","article-title":"ATR: template-based repair for alloy specifications","volume-title":"ISSTA \u201922: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Zheng","year":"2022"}],"event":{"name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2025,3,31]]},"location":"Napoli, Italy","end":{"date-parts":[[2025,4,4]]}},"container-title":["2025 IEEE Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10988917\/10988918\/10988950.pdf?arnumber=10988950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:13:09Z","timestamp":1747804389000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10988950\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/icst62969.2025.10988950","relation":{},"subject":[],"published":{"date-parts":[[2025,3,31]]}}}