{"id":"https://openalex.org/W4393612080","doi":"https://doi.org/10.5281/zenodo.8026525","title":"Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","display_name":"Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","publication_year":2023,"publication_date":"2023-06-12","ids":{"openalex":"https://openalex.org/W4393612080","doi":"https://doi.org/10.5281/zenodo.8026525"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:8026525","is_oa":true,"landing_page_url":"https://zenodo.org/record/8026525","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://zenodo.org/record/8026525","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092031091","display_name":"Yiannis Charalambous","orcid":"https://orcid.org/0009-0000-5755-5099"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Yiannis Charalambous","raw_affiliation_strings":["The University of Manchester, UK"],"affiliations":[{"raw_affiliation_string":"The University of Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073042391","display_name":"Norbert Tihanyi","orcid":"https://orcid.org/0000-0002-9002-5935"},"institutions":[{"id":"https://openalex.org/I4210087059","display_name":"Technology Innovation Institute","ror":"https://ror.org/001kv2y39","country_code":"AE","type":"facility","lineage":["https://openalex.org/I4210087059"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Tihanyi, Norbert","raw_affiliation_strings":["Technology Innovation Institute, UAE"],"affiliations":[{"raw_affiliation_string":"Technology Innovation Institute, UAE","institution_ids":["https://openalex.org/I4210087059"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102012126","display_name":"Ridhi Jain","orcid":"https://orcid.org/0000-0002-6102-7114"},"institutions":[{"id":"https://openalex.org/I4210087059","display_name":"Technology Innovation Institute","ror":"https://ror.org/001kv2y39","country_code":"AE","type":"facility","lineage":["https://openalex.org/I4210087059"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Jain, Ridhi","raw_affiliation_strings":["Technology Innovation Institute, UAE"],"affiliations":[{"raw_affiliation_string":"Technology Innovation Institute, UAE","institution_ids":["https://openalex.org/I4210087059"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060663223","display_name":"Youcheng Sun","orcid":"https://orcid.org/0000-0002-1893-6259"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sun, Youcheng","raw_affiliation_strings":["The University of Manchester, UK"],"affiliations":[{"raw_affiliation_string":"The University of Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026903935","display_name":"Mohamed Amine Ferrag","orcid":"https://orcid.org/0000-0002-0632-3172"},"institutions":[{"id":"https://openalex.org/I4210087059","display_name":"Technology Innovation Institute","ror":"https://ror.org/001kv2y39","country_code":"AE","type":"facility","lineage":["https://openalex.org/I4210087059"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Ferrag, Mohamed Amine","raw_affiliation_strings":["Technology Innovation Institute, UAE"],"affiliations":[{"raw_affiliation_string":"Technology Innovation Institute, UAE","institution_ids":["https://openalex.org/I4210087059"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057689302","display_name":"Lucas C. Cordeiro","orcid":"https://orcid.org/0000-0002-6235-4272"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cordeiro, Lucas C.","raw_affiliation_strings":["The University of Manchester, UK"],"affiliations":[{"raw_affiliation_string":"The University of Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5092031091"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9218999743461609,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9218999743461609,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9043999910354614,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.6550387144088745},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5503702163696289},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5244434475898743},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.4907301664352417},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28220218420028687},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.19950196146965027},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.08552530407905579}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6550387144088745},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5503702163696289},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5244434475898743},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.4907301664352417},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28220218420028687},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19950196146965027},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.08552530407905579},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:8026525","is_oa":true,"landing_page_url":"https://zenodo.org/record/8026525","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.8026525","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.8026525","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"dataset"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:8026525","is_oa":true,"landing_page_url":"https://zenodo.org/record/8026525","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"We":[0,151,222],"present":[1],"a":[2,36,52,83,120,137,153,208,213,267,276],"novel":[3],"solution":[4],"combining":[5],"Large":[6,214],"Language":[7,215],"Model":[8,26,133,216],"(LLM)":[9,217],"capabilities":[10],"with":[11,69,218,260,273],"Formal":[12],"Verification":[13],"strategies":[14],"to":[15,29,75,93,107,143,164,184,211,231,253],"falsify":[16],"and":[17,34,91,99,136,145,195,240,279],"automatically":[18],"repair":[19,100],"software":[20,32,219,235],"vulnerabilities.":[21],"Initially,":[22],"we":[23,104,124],"employ":[24],"Bounded":[25],"Checking":[27],"(BMC)":[28],"locate":[30],"the":[31,46,56,70,76,95,101,109,113,117,129,204,229,234,280],"vulnerability":[33],"derive":[35],"counterexample.":[37],"Relying":[38],"on":[39,128],"mathematical":[40],"proofs,":[41],"counterexamples":[42],"provide":[43],"evidence":[44],"that":[45,64,173,224],"system":[47],"behaves":[48],"incorrectly":[49],"or":[50],"contains":[51,247],"vulnerability,":[53],"thereby":[54],"preventing":[55],"generation":[57,92],"of":[58,112,122,162,167,182,256,266,269],"false":[59],"positive":[60],"alerts.":[61],"The":[62,244,262],"counterexample":[63],"has":[65,228],"been":[66],"detected,":[67],"along":[68],"source":[71],"code,":[72,189],"are":[73],"provided":[74],"LLM":[77],"engine.":[78],"Our":[79],"approach":[80,227],"involves":[81],"establishing":[82],"specialized":[84],"prompt":[85],"language":[86],"for":[87,207],"conducting":[88],"code":[89,114,158,258],"debugging":[90],"understand":[94],"vulnerability's":[96],"root":[97],"cause":[98],"code.":[102,169],"Finally,":[103],"use":[105],"BMC":[106],"verify":[108],"corrected":[110],"version":[111,268],"generated":[115,152,259],"by":[116],"LLM.":[118],"As":[119],"proof":[121],"concept,":[123],"create":[125],"\\esbmcai":[126,202],"based":[127],"Efficient":[130],"SMT-based":[131],"Context-Bounded":[132],"Checker":[134],"(ESBMC)":[135],"pre-trained":[138],"Transformer":[139],"model,":[140],"specifically":[141],"gpt-3.5-turbo,":[142],"detect":[144],"fix":[146],"errors":[147],"in":[148,186],"C":[149,157,168,257],"programs.":[150],"dataset":[154,246],"comprising":[155,251],"$1{,}000$":[156],"samples,":[159],"each":[160,250],"consisting":[161],"$20$":[163],"$50$":[165],"lines":[166,255],"Experimental":[170],"results":[171],"show":[172],"our":[174,200],"proposed":[175],"method":[176],"achieved":[177],"an":[178],"impressive":[179],"success":[180],"rate":[181],"up":[183],"$80$\\%":[185],"repairing":[187],"vulnerable":[188],"encompassing":[190],"buffer":[191],"overflow,":[192,194],"arithmetic":[193],"pointer":[196],"dereference":[197],"failures.":[198],"To":[199],"knowledge,":[201],"represents":[203],"first":[205],"proposal":[206],"pioneering":[209],"initiative":[210],"integrate":[212],"model":[220],"checking.":[221],"advocate":[223],"this":[225],"automated":[226],"potential":[230],"incorporate":[232],"into":[233],"development":[236],"lifecycle's":[237],"continuous":[238],"integration":[239],"deployment":[241],"(CI/CD)":[242],"process.":[243],"uploaded":[245],"1000":[248],"codes,":[249],"20":[252],"50":[254],"gpt-3.5-turbo.":[261],"material":[263],"also":[264],"consists":[265],"ESBMC":[270],"statically":[271],"compiled":[272],"all":[274],"dependencies,":[275],"classifier":[277],"script,":[278],"output":[281],"file.":[282]},"counts_by_year":[],"updated_date":"2026-02-05T00:54:17.221276","created_date":"2025-10-10T00:00:00"}