{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T05:35:34Z","timestamp":1738215334521,"version":"3.34.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"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":[[2024,11,26]]},"DOI":"10.1109\/fllm63129.2024.10852461","type":"proceedings-article","created":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T18:35:23Z","timestamp":1738089323000},"page":"58-65","source":"Crossref","is-referenced-by-count":0,"title":["Comparative Analysis of Loop-Free Function Evaluation Using ChatGPT and Copilot with C Bounded Model Checking"],"prefix":"10.1109","author":[{"given":"Faten","family":"Slama","sequence":"first","affiliation":[{"name":"TÉLUQ University,Dept. Science and Technology,Montreal,Canada"}]},{"given":"Daniel","family":"Lemire","sequence":"additional","affiliation":[{"name":"TÉLUQ University,Dept. Science and Technology,Montreal,Canada"}]}],"member":"263","reference":[{"article-title":"Evaluating ai-powered code generation: A comparative study of chatgpt and github","year":"2024","author":"Indika","key":"ref1"},{"year":"2023","key":"ref2","article-title":"Evaluating the code quality of ai-assisted code generation tools: An empirical study on github copilot, amazon codewhisperer, and chatgpt"},{"key":"ref3","first-page":"1877","article-title":"Language models are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"article-title":"Evaluating large language models trained on code","year":"2021","author":"Chen","key":"ref4"},{"journal-title":"Evaluating large language models trained on code","year":"2021","author":"Chen","key":"ref5"},{"key":"ref6","first-page":"2","article-title":"Model checking","volume-title":"Proceedings of the 11th Annual Conference on Computer Aided Verification (CAV)","author":"Clarke"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0058022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0058022"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3276517"},{"key":"ref12","first-page":"191","article-title":"Decision procedures for bounded model checking","volume-title":"Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM)","author":"R\u00f6ning"},{"year":"2024","key":"ref13","article-title":"Ai-powered code generation: A deep dive into github copilot"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3340544"},{"key":"ref15","first-page":"85","article-title":"A comparative study of code completion tools","volume-title":"IEEE\/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","author":"Vasilescu"},{"article-title":"In-ide code generation from natural language: Promise and challenges","year":"2021","author":"Vasilescu","key":"ref16"},{"issue":"5","key":"ref17","first-page":"1","article-title":"Comparing ai-based code assistants: An empirical study","volume":"27","author":"Zeller","year":"2022","journal-title":"Empirical Software Engineering"}],"event":{"name":"2024 2nd International Conference on Foundation and Large Language Models (FLLM)","start":{"date-parts":[[2024,11,26]]},"location":"Dubai, United Arab Emirates","end":{"date-parts":[[2024,11,29]]}},"container-title":["2024 2nd International Conference on Foundation and Large Language Models (FLLM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10852419\/10852420\/10852461.pdf?arnumber=10852461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T06:46:46Z","timestamp":1738133206000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10852461\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/fllm63129.2024.10852461","relation":{},"subject":[],"published":{"date-parts":[[2024,11,26]]}}}