{"id":"https://openalex.org/W7155054877","doi":"https://doi.org/10.1109/access.2026.3686308","title":"VeriGen: An LLM-Augmented Framework for End-to-End Automation of Software Development Lifecycle\u2013From Requirements Specifications to Code Generation","display_name":"VeriGen: An LLM-Augmented Framework for End-to-End Automation of Software Development Lifecycle\u2013From Requirements Specifications to Code Generation","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7155054877","doi":"https://doi.org/10.1109/access.2026.3686308"},"language":"en","primary_location":{"id":"doi:10.1109/access.2026.3686308","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3686308","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2026.3686308","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001523044","display_name":"Mudassar Adeel Ahmed","orcid":"https://orcid.org/0000-0001-7445-7968"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Mudassar Adeel Ahmed","raw_affiliation_strings":["Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"raw_orcid":"https://orcid.org/0000-0001-7445-7968","affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045766368","display_name":"Muhammad Waseem Anwar","orcid":"https://orcid.org/0000-0002-1193-5683"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Waseem Anwar","raw_affiliation_strings":["Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-1193-5683","affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010819201","display_name":"Wasi Haider Butt","orcid":"https://orcid.org/0000-0002-1347-3662"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Wasi Haider Butt","raw_affiliation_strings":["Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-1347-3662","affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040585772","display_name":"Farooque Azam","orcid":"https://orcid.org/0000-0002-7421-7400"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Farooque Azam","raw_affiliation_strings":["Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-7421-7400","affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I929597975"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.51413377,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":null,"first_page":"63962","last_page":"63990"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.14640000462532043,"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.14640000462532043,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.1120000034570694,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.09629999846220016,"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/software-development","display_name":"Software development","score":0.5670999884605408},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5288000106811523},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4717999994754791},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.45089998841285706},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.4205000102519989},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.3774999976158142},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.37220001220703125},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3587999939918518},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3407999873161316}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7099000215530396},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6258999705314636},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5670999884605408},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5288000106811523},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4717999994754791},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.45089998841285706},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.43779999017715454},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.4205000102519989},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3774999976158142},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.37220001220703125},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3587999939918518},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3407999873161316},{"id":"https://openalex.org/C35280785","wikidata":"https://www.wikidata.org/wiki/Q559486","display_name":"System lifecycle","level":4,"score":0.33469998836517334},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C21457203","wikidata":"https://www.wikidata.org/wiki/Q4056293","display_name":"Process automation system","level":3,"score":0.3066999912261963},{"id":"https://openalex.org/C30452754","wikidata":"https://www.wikidata.org/wiki/Q621590","display_name":"Application lifecycle management","level":3,"score":0.3061000108718872},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.3019999861717224},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.3000999987125397},{"id":"https://openalex.org/C123551368","wikidata":"https://www.wikidata.org/wiki/Q7122888","display_name":"Package development process","level":5,"score":0.2985000014305115},{"id":"https://openalex.org/C2776697782","wikidata":"https://www.wikidata.org/wiki/Q576460","display_name":"Software prototyping","level":4,"score":0.2930000126361847},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2919999957084656},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.28679999709129333},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.2865000069141388},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C54534927","wikidata":"https://www.wikidata.org/wiki/Q4462275","display_name":"Software requirements","level":5,"score":0.2655999958515167},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26260000467300415},{"id":"https://openalex.org/C120617098","wikidata":"https://www.wikidata.org/wiki/Q559486","display_name":"Systems development life cycle","level":5,"score":0.2614000141620636},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.2531999945640564},{"id":"https://openalex.org/C2985178602","wikidata":"https://www.wikidata.org/wiki/Q1941909","display_name":"Model driven development","level":4,"score":0.25200000405311584}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2026.3686308","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3686308","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:DiVA.org:mdh-76775","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-76775","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:c7471f9f2fbb406882d586e96f79190d","is_oa":true,"landing_page_url":"https://doaj.org/article/c7471f9f2fbb406882d586e96f79190d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 14, Pp 63962-63990 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2026.3686308","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3686308","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.47819623351097107}],"awards":[{"id":"https://openalex.org/G1222209122","display_name":null,"funder_award_id":"20-15651","funder_id":"https://openalex.org/F4320322799","funder_display_name":"Higher Education Commission, Pakistan"}],"funders":[{"id":"https://openalex.org/F4320322799","display_name":"Higher Education Commission, Pakistan","ror":"https://ror.org/038y3sz68"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"recent":[1],"years,":[2],"Large":[3],"Language":[4,110],"Models":[5],"(LLMs)":[6],"and":[7,43,52,70,134,146,154,160,174,206],"Generative":[8],"Artificial":[9],"Intelligence":[10],"(GenAI)":[11],"have":[12,26],"gained":[13],"significant":[14,205],"momentum":[15],"in":[16,72,97,165],"the":[17,158,168,178],"automation":[18],"of":[19,162],"software":[20,59,86,179,215],"development.":[21],"Although,":[22],"previous":[23],"research":[24],"studies":[25],"also":[27],"explored":[28],"specific":[29],"sub":[30],"tasks":[31],"like":[32],"requirements":[33,95],"formalization,":[34],"UML":[35,39],"class":[36,128],"diagram":[37,41,129,132],"generation,":[38,42,46,130,133],"sequence":[40,131],"skeletal":[44,135],"code":[45,137],"these":[47,90],"efforts":[48],"are":[49,64,102,114],"still":[50],"fragmented":[51],"do":[53],"not":[54],"provide":[55],"an":[56],"integrated,":[57],"end-to-end":[58,80,214],"solution.":[60],"Furthermore,":[61],"unreliable":[62],"outputs":[63,113,151,176],"frequently":[65],"caused":[66],"by":[67],"instability,":[68],"omissions,":[69],"hallucinations":[71],"LLM-generated":[73],"artifacts.":[74],"We":[75],"propose":[76],"VeriGen,":[77],"a":[78,118,204,211],"novel":[79],"generative":[81],"AI":[82],"framework":[83],"for":[84,152],"automated":[85],"development,":[87],"to":[88,167],"overcome":[89],"limitations.":[91],"VeriGen":[92,182,202],"begins":[93],"with":[94],"written":[96],"plain":[98],"natural":[99],"language,":[100],"which":[101],"structured":[103],"using":[104],"RUPPs":[105],"templates":[106],"into":[107],"Structured":[108],"Natural":[109],"(SNL).":[111],"LLM":[112,196],"systematically":[115],"processed":[116],"through":[117],"unique":[119],"Verifier-Optimizer":[120,140],"loop":[121,141],"at":[122],"each":[123],"subsequent":[124],"stage,":[125],"such":[126],"as":[127,203],"Java":[136],"synthesis.":[138],"The":[139,199],"identifies":[142],"correct,":[143],"incorrect,":[144],"missing,":[145],"extra":[147],"instances":[148],"while":[149],"refining":[150],"stability":[153],"correctness.":[155],"This":[156],"ensures":[157],"accuracy":[159],"completeness":[161],"generated":[163,197],"artifacts":[164],"addition":[166],"automation.":[169,217],"By":[170],"reliably":[171],"generating":[172],"verified":[173],"optimized":[175],"throughout":[177],"development":[180],"pipeline,":[181],"has":[183],"been":[184],"validated":[185],"against":[186],"four":[187],"benchmark":[188],"case":[189],"studies,":[190],"proving":[191],"its":[192],"superiority":[193],"over":[194],"baseline":[195],"outputs.":[198],"results":[200],"confirm":[201],"major":[207],"step":[208],"toward":[209],"achieving":[210],"reliable,":[212],"generative,":[213],"engineering":[216]},"counts_by_year":[],"updated_date":"2026-05-05T06:06:40.768181","created_date":"2026-04-22T00:00:00"}