{"id":"https://openalex.org/W4407830460","doi":"https://doi.org/10.1109/jbhi.2025.3544560","title":"GPT-Based Automated Induction: Vulnerability Detection in Medical Software","display_name":"GPT-Based Automated Induction: Vulnerability Detection in Medical Software","publication_year":2025,"publication_date":"2025-02-21","ids":{"openalex":"https://openalex.org/W4407830460","doi":"https://doi.org/10.1109/jbhi.2025.3544560","pmid":"https://pubmed.ncbi.nlm.nih.gov/40031801"},"language":"en","primary_location":{"id":"doi:10.1109/jbhi.2025.3544560","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jbhi.2025.3544560","pdf_url":null,"source":{"id":"https://openalex.org/S2495854775","display_name":"IEEE Journal of Biomedical and Health Informatics","issn_l":"2168-2194","issn":["2168-2194","2168-2208"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal of Biomedical and Health Informatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065171433","display_name":"Liangjun Deng","orcid":"https://orcid.org/0000-0003-4215-182X"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liangjun Deng","raw_affiliation_strings":["School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0009-0005-3771-7114","affiliations":[{"raw_affiliation_string":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101865118","display_name":"Hang Lei","orcid":"https://orcid.org/0000-0001-7736-2251"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hang Lei","raw_affiliation_strings":["School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0000-0001-7736-2251","affiliations":[{"raw_affiliation_string":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115604525","display_name":"Fazlullah Khan","orcid":"https://orcid.org/0000-0002-6002-7024"},"institutions":[{"id":"https://openalex.org/I13591777","display_name":"University of Nottingham Ningbo China","ror":"https://ror.org/03y4dt428","country_code":"CN","type":"education","lineage":["https://openalex.org/I13591777","https://openalex.org/I142263535"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fazlullah Khan","raw_affiliation_strings":["School of Computer Science and the Next-Generation Internet of Everything Laboratory, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, China","School of Computer Science and the Next-Generation Internet of Everything Laboratory, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, Zhejiang, China"],"raw_orcid":"https://orcid.org/0000-0002-6002-7024","affiliations":[{"raw_affiliation_string":"School of Computer Science and the Next-Generation Internet of Everything Laboratory, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, China","institution_ids":["https://openalex.org/I13591777"]},{"raw_affiliation_string":"School of Computer Science and the Next-Generation Internet of Everything Laboratory, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, Zhejiang, China","institution_ids":["https://openalex.org/I13591777"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041541232","display_name":"Gautam Srivastava","orcid":"https://orcid.org/0000-0001-9851-4103"},"institutions":[{"id":"https://openalex.org/I48890080","display_name":"Brandon University","ror":"https://ror.org/02qp25a50","country_code":"CA","type":"education","lineage":["https://openalex.org/I48890080"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Gautam Srivastava","raw_affiliation_strings":["Department of Math and Computer Science, Brandon University, Brandon, Canada","Department of Math and Computer Science, Brandon University, Brandon, Manitoba, Canada"],"raw_orcid":"https://orcid.org/0000-0001-9851-4103","affiliations":[{"raw_affiliation_string":"Department of Math and Computer Science, Brandon University, Brandon, Canada","institution_ids":["https://openalex.org/I48890080"]},{"raw_affiliation_string":"Department of Math and Computer Science, Brandon University, Brandon, Manitoba, Canada","institution_ids":["https://openalex.org/I48890080"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087155578","display_name":"Jingxue Chen","orcid":"https://orcid.org/0000-0002-7931-7558"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingxue Chen","raw_affiliation_strings":["School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0000-0002-7931-7558","affiliations":[{"raw_affiliation_string":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050955198","display_name":"Mainul Haque","orcid":"https://orcid.org/0000-0003-1836-8076"},"institutions":[{"id":"https://openalex.org/I13591777","display_name":"University of Nottingham Ningbo China","ror":"https://ror.org/03y4dt428","country_code":"CN","type":"education","lineage":["https://openalex.org/I13591777","https://openalex.org/I142263535"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mainul Haque","raw_affiliation_strings":["Department of Mathematics, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, China","Department of Mathematics, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, Zhejiang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, China","institution_ids":["https://openalex.org/I13591777"]},{"raw_affiliation_string":"Department of Mathematics, Faculty of Science and Engineering, University of Nottingham Ningbo China, Ningbo, Zhejiang, China","institution_ids":["https://openalex.org/I13591777"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6154,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87006909,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"30","issue":"5","first_page":"3732","last_page":"3743"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9326000213623047,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9326000213623047,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6265754699707031},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49447154998779297},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.4334750771522522},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.25637921690940857},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09520456194877625}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6265754699707031},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49447154998779297},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4334750771522522},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25637921690940857},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09520456194877625}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008490","descriptor_name":"Medical Informatics","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":true},{"descriptor_ui":"D009323","descriptor_name":"Natural Language Processing","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D016494","descriptor_name":"Computer Security","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":2,"locations":[{"id":"doi:10.1109/jbhi.2025.3544560","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jbhi.2025.3544560","pdf_url":null,"source":{"id":"https://openalex.org/S2495854775","display_name":"IEEE Journal of Biomedical and Health Informatics","issn_l":"2168-2194","issn":["2168-2194","2168-2208"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal of Biomedical and Health Informatics","raw_type":"journal-article"},{"id":"pmid:40031801","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/40031801","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE journal of biomedical and health informatics","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1721061489","display_name":null,"funder_award_id":"2023J194","funder_id":"https://openalex.org/F4320324778","funder_display_name":"Ningbo Municipal Bureau of Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320324778","display_name":"Ningbo Municipal Bureau of Science and Technology","ror":"https://ror.org/00gskyj95"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Integrating":[0],"natural":[1],"language":[2,141],"processing":[3],"(NLP)":[4],"with":[5],"generative":[6],"pre-trained":[7],"transformer":[8],"(GPT)":[9],"models":[10],"plays":[11],"a":[12,86,122,139],"pivotal":[13],"role":[14],"in":[15,77,89,164,177,200,224],"enhancing":[16],"the":[17,43,51,57,72,114,172,183,216],"accuracy":[18],"and":[19,30,62,65,80,191,214,218],"efficiency":[20,217],"of":[21,36,53,59,74,116,174,185,220],"healthcare":[22,37,60,225],"software,":[23],"which":[24,102,161],"is":[25,39,68,207],"essential":[26],"for":[27],"patient":[28],"safety":[29],"providing":[31],"high-quality":[32],"care.":[33],"The":[34],"precision":[35],"software":[38,75,134,212],"fundamental":[40],"to":[41,70,112,132,150,156,194,209],"protecting":[42],"patient's":[44],"well-being.":[45],"In":[46,154],"addition,":[47],"it":[48,94],"can":[49],"ensure":[50,133],"delivery":[52],"superior":[54],"care,":[55],"maintain":[56],"integrity":[58],"systems,":[61],"promote":[63],"trust":[64],"cost-effectiveness.":[66],"It":[67],"necessary":[69],"emphasize":[71],"importance":[73],"reliability":[76],"its":[78],"development":[79],"deployment.":[81],"Symbolic":[82],"execution":[83,152,159],"serves":[84],"as":[85,99],"vital":[87],"technology":[88],"automated":[90,221],"vulnerability":[91],"detection.":[92],"However,":[93],"often":[95,162],"faces":[96],"problems":[97],"such":[98],"path":[100,147],"explosion,":[101],"seriously":[103],"affects":[104],"efficiency.":[105],"Although":[106],"several":[107],"studies":[108],"have":[109],"been":[110],"conducted":[111],"reduce":[113],"number":[115],"computational":[117,201],"paths,":[118],"this":[119],"problem":[120],"remains":[121],"significant":[123,198],"obstacle.":[124],"Therefore,":[125],"more":[126,189],"efficient":[127],"solutions":[128],"are":[129],"urgently":[130],"needed":[131],"security.":[135],"This":[136,205],"paper":[137],"proposes":[138],"large-scale":[140],"model":[142],"(LLM)":[143],"induction":[144],"method":[145],"mitigating":[146],"explosion":[148],"applied":[149],"symbolic":[151,158,186],"engines.":[153],"contrast":[155],"traditional":[157],"engines,":[160],"result":[163],"timeout":[165],"or":[166,203],"out-of-memory":[167],"detection,":[168],"our":[169,180],"approach":[170],"achieves":[171],"task":[173],"detecting":[175],"vulnerabilities":[176],"seconds.":[178],"Furthermore,":[179],"proposal":[181],"improves":[182],"scalability":[184,206],"execution,":[187],"allowing":[188],"extensive":[190],"complex":[192],"programs":[193],"be":[195],"analyzed":[196],"without":[197],"increases":[199],"resources":[202],"time.":[204],"crucial":[208],"tackling":[210],"modern":[211],"systems":[213],"improving":[215],"effectiveness":[219],"defect":[222],"verification":[223],"software.":[226]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-07T06:04:25.777469","created_date":"2025-10-10T00:00:00"}