{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T05:12:07Z","timestamp":1778217127802,"version":"3.51.4"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Research and Development of the Ningbo Municipal Bureau of Science and Technology","award":["2023J194"],"award-info":[{"award-number":["2023J194"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE J. Biomed. Health Inform."],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1109\/jbhi.2025.3544560","type":"journal-article","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T13:46:37Z","timestamp":1740145597000},"page":"3732-3743","source":"Crossref","is-referenced-by-count":3,"title":["GPT-Based Automated Induction: Vulnerability Detection in Medical Software"],"prefix":"10.1109","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-3771-7114","authenticated-orcid":false,"given":"Liangjun","family":"Deng","sequence":"first","affiliation":[{"name":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7736-2251","authenticated-orcid":false,"given":"Hang","family":"Lei","sequence":"additional","affiliation":[{"name":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6002-7024","authenticated-orcid":false,"given":"Fazlullah","family":"Khan","sequence":"additional","affiliation":[{"name":"School of Computer Science and the Next-Generation Internet of Everything Laboratory, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9851-4103","authenticated-orcid":false,"given":"Gautam","family":"Srivastava","sequence":"additional","affiliation":[{"name":"Department of Math and Computer Science, Brandon University, Brandon, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7931-7558","authenticated-orcid":false,"given":"Jingxue","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mainul","family":"Haque","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nlp.2023.100048"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2024.3376069"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2023.3318150"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00422"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2024.06.045"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2024.3405496"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2022.3187855"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2024.100593"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3233\/THC-229005"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484813"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2010.19"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2023.3296597"},{"key":"ref13","first-page":"7762","article-title":"Learning loop invariants for program verification","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Si","year":"2018"},{"key":"ref14","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Conf. Operating Syst. Des. Implementation","author":"Cadar","year":"2008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACIRS.2016.7556184"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254088"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2020.103444"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_31"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-90100-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092715"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JBHI.2023.3316750"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1109\/ASE.2019.00133","article-title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts","author":"Mossberg","year":"2019"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JBHI.2023.3328350"},{"issue":"1","key":"ref25","first-page":"13","article-title":"Exploring medical breakthroughs: A systematic review of ChatGPT applications in healthcare","volume":"12","author":"Mufti","year":"2023","journal-title":"Southeast Europe J. Soft Comput."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CISS53076.2022.9751188"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-023-01939-y"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2196\/12239"},{"key":"ref29","first-page":"1877","article-title":"Language models are few-shot learners","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Brown","year":"2020"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1810.04805"},{"issue":"140","key":"ref31","first-page":"1","article-title":"Exploring the limits of transfer learning with a unified text-to-text transformer","volume":"21","author":"Raffel","year":"2020","journal-title":"J. Mach. Learn. Res."},{"key":"ref32","first-page":"2790","article-title":"Parameter-efficient transfer learning for NLP","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Houlsby","year":"2019"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1038\/s41591-023-02448-8"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TLT.2024.3450210"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3359786"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.32604\/csse.2023.027680"},{"key":"ref37","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2022.bigscience-1.9","article-title":"GPT-NeoX-20B: An open-source autoregressive language model","author":"Black","year":"2022"},{"key":"ref38","article-title":"The pile: An 800GB dataset of diverse text for language modeling","author":"Gao","year":"2020"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3394486.3406703"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528700"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/aaai.12086"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1126\/science.abq1158"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC57700.2023.00117"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"ref45","volume-title":"Data Structures and Algorithms","volume":"175","author":"Hopcroft","year":"1983"},{"key":"ref46","article-title":"Evaluating large language models trained on code","author":"Chen","year":"2021"},{"key":"ref47","article-title":"Program synthesis with large language models","author":"Austin","year":"2021"},{"key":"ref48","article-title":"Code llama: Open foundation models for code","author":"Roziere","year":"2023"},{"key":"ref49","article-title":"WizardCoder: Empowering code large language models with evol-instruct","volume-title":"Proc. 12th Int. Conf. Learn. Representations","author":"Luo","year":"2024"},{"key":"ref50","article-title":"Gemini: A family of highly capable multimodal models","author":"Team","year":"2023"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.2196\/59273"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"}],"container-title":["IEEE Journal of Biomedical and Health Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6221020\/11511349\/10899829.pdf?arnumber=10899829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T05:02:53Z","timestamp":1778216573000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10899829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":52,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/jbhi.2025.3544560","relation":{},"ISSN":["2168-2194","2168-2208"],"issn-type":[{"value":"2168-2194","type":"print"},{"value":"2168-2208","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5]]}}}