{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:42:08Z","timestamp":1766137328539,"version":"3.48.0"},"reference-count":36,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T00:00:00Z","timestamp":1766102400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>Large Language Models (LLMs) have demonstrated significant potential in transforming software testing by automating tasks such as test case generation. In this work, we explore the integration of LLMs within a Model-Driven Engineering (MDE) approach to enhance the automation of test case generation for smart contracts. Our focus lies in the use of Role-Based Access Control (RBAC) models as formal specifications that guide the generation of test scenarios. By leveraging LLMs\u2019 ability to interpret both natural language and model artifacts, we enable the derivation of model-based test cases that align with specified access control policies. These test cases are subsequently translated into executable code in Digital Asset Modeling Language (DAML) targeting blockchain-based smart contract platforms. Building on prior research that established a complete MDE pipeline for DAML smart contract development, we extend the framework with LLM-supported test automation capabilities and implement the necessary tooling to support this integration. Our evaluation demonstrates the feasibility of using LLMs in this context, highlighting their potential to improve testing coverage, reduce manual effort, and ensure conformance with access control specifications in smart contract systems.<\/jats:p>","DOI":"10.3390\/info17010001","type":"journal-article","created":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:29:16Z","timestamp":1766136556000},"page":"1","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Model-Driven Engineering and Large Language Models for Test Scenario Generation for Smart Contracts"],"prefix":"10.3390","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2758-8145","authenticated-orcid":false,"given":"Issam","family":"Al-Azzoni","sequence":"first","affiliation":[{"name":"College of Engineering, Al Ain University, Al Ain 64141, United Arab Emirates"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8311-6129","authenticated-orcid":false,"given":"Saqib","family":"Iqbal","sequence":"additional","affiliation":[{"name":"College of Engineering, Al Ain University, Al Ain 64141, United Arab Emirates"}]},{"given":"Taymour","family":"Al Ashkar","sequence":"additional","affiliation":[{"name":"College of Engineering, Al Ain University, Al Ain 64141, United Arab Emirates"}]},{"given":"Zobia","family":"Erum","sequence":"additional","affiliation":[{"name":"Department of Computer and Data Science, Birmingham City University, Birmingham B5 5JU, UK"}]}],"member":"1968","published-online":{"date-parts":[[2025,12,19]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1109\/TSE.2024.3368208","article-title":"Software Testing With Large Language Models: Survey, Landscape, and Vision","volume":"50","author":"Wang","year":"2024","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Boukhlif, M., Kharmoum, N., and Hanine, M. (2024, January 18\u201319). LLMs for Intelligent Software Testing: A Comparative Study. Proceedings of the 7th International Conference on Networking, Intelligent Systems and Security, Virtual.","DOI":"10.1145\/3659677.3659749"},{"key":"ref_3","first-page":"1","article-title":"Automation in Model-Driven Engineering: A Look Back, and Ahead","volume":"34","author":"Sahraoui","year":"2025","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Chen, K., Yang, Y., Chen, B., Hern\u00e1ndez L\u00f3pez, J.A., Mussbacher, G., and Varr\u00f3, D. (2023, January 1\u20136). Automated Domain Modeling with Large Language Models: A Comparative Study. Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), V\u00e4ster\u00e5s, Sweden.","DOI":"10.1109\/MODELS58315.2023.00037"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, J.A.H., F\u00f6ldi\u00e1k, M., and Varr\u00f3, D. (2024, January 22\u201327). Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT. Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz, Austria.","DOI":"10.1145\/3640310.3674091"},{"key":"ref_6","unstructured":"(2025, December 15). Eclipse Modeling Framework (EMF). Available online: https:\/\/www.eclipse.org\/modeling\/emf\/."},{"key":"ref_7","unstructured":"Kogler, P., Falkner, A., and Sperl, S. (2024). Reliable Generation of Formal Specifications using Large Language Models. Software Engineering 2024\u2014Companion, Gesellschaft f\u00fcr Informatik e.V."},{"key":"ref_8","unstructured":"Kogler, P., Chen, W., and Wallner, S. (2025). Code Generation for Niche Programming Languages with Large Language Models. Software Engineering 2025\u2014Companion, Gesellschaft f\u00fcr Informatik e.V."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Pan, F., Petrovic, N., Zolfaghari, V., Wen, L., and Knoll, A. (2025). LLM-Enabled Instance Model Generation. arXiv.","DOI":"10.1109\/MODELS-C68889.2025.00082"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Pan, F., Zolfaghari, V., Wen, L., Petrovic, N., Lin, J., and Knoll, A. (2024, January 16\u201319). Generative AI for OCL Constraint Generation: Dataset Collection and LLM Fine-tuning. Proceedings of the IEEE International Symposium on Systems Engineering (ISSE), Perugia, Italy.","DOI":"10.1109\/ISSE63315.2024.10741141"},{"key":"ref_11","unstructured":"(2025, December 15). Object Constraint Language (OCL). Available online: https:\/\/www.omg.org\/spec\/OCL\/."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Hasan, N.B., Islam, M.A., Khan, J.Y., Senjik, S., and Iqbal, A. (2025, January 28\u201329). Automatic High-Level Test Case Generation using Large Language Models. Proceedings of the IEEE\/ACM International Conference on Mining Software Repositories (MSR), Ottawa, ON, Canada.","DOI":"10.1109\/MSR66628.2025.00105"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Guo, X., Li, C., and Tsuchiya, T. (2025). Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis. arXiv.","DOI":"10.1007\/978-981-95-3459-3_32"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Rehan, S., Al-Bander, B., and Al-Said Ahmad, A. (2025). Harnessing Large Language Models for Automated Software Testing: A Leap Towards Scalable Test Case Generation. Electronics, 14.","DOI":"10.3390\/electronics14071463"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Chen, Y., Hu, Z., Zhi, C., Han, J., Deng, S., and Yin, J. (2024, January 15\u201319). ChatUniTest: A framework for LLM-based test generation. Proceedings of the Companion 32nd ACM International Conference on the Foundations of Software Engineering, Porto de Galinhas, Brazil.","DOI":"10.1145\/3663529.3663801"},{"key":"ref_16","first-page":"85","article-title":"An empirical evaluation of using large language models for automated unit test generation","volume":"50","author":"Nadi","year":"2023","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_17","unstructured":"Drain, D., Sundaresan, N., Svyatkovskiy, A., and Tufano, M. (2024). Unit Test Case Generation with Transformers. (US Patent 11,893,363)."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Santos, S.R.R.d., Fernandes, R.E.S., Santos, M.C.B.d., Soares, M.S., Rocha, F.G., and Marczak, S. (2024, January 5\u20138). Increasing Test Coverage by Automating BDD Tests in Proofs of Concepts (POCs) using LLM. Proceedings of the XXIII Brazilian Symposium on Software Quality, Salvador, Bahia.","DOI":"10.1145\/3701625.3701637"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1109\/TSE.2024.3519159","article-title":"ChatAssert: LLM-based Test Oracle Generation with External Tools Assistance","volume":"51","author":"Hayet","year":"2025","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Fan, Z., Ruan, H., Mechtaev, S., and Roychoudhury, A. (2024, January 16\u201320). Oracle-guided Program Selection from Large Language Models. Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria.","DOI":"10.1145\/3650212.3680308"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"107423","DOI":"10.1016\/j.infsof.2024.107423","article-title":"Model driven engineering for machine learning components: A systematic literature review","volume":"169","author":"Naveed","year":"2024","journal-title":"Inf. Softw. Technol."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"19923","DOI":"10.1109\/ACCESS.2018.2821111","article-title":"Controlling Meta-Model Extensibility in Model-Driven Engineering","volume":"6","year":"2018","journal-title":"IEEE Access"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2015.07.004","article-title":"Collaborative editing of EMF\/Ecore meta-models and models: Conflict detection, reconciliation, and merging in DiCoMEF","volume":"113","author":"Koshima","year":"2015","journal-title":"Sci. Comput. Program."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Al-Azzoni, I., and Iqbal, S. (2023, January 24\u201326). Model-driven approach for generating smart contracts for access control. Proceedings of the 5th International Conference on Blockchain Computing and Applications (BCCA), Kuwait, Kuwait.","DOI":"10.1109\/BCCA58897.2023.10338863"},{"key":"ref_25","unstructured":"Behr, N., and Str\u00fcber, D. (2022, January 7\u20138). Visual Smart Contracts for DAML. Proceedings of the International Conference on Graph Transformation, Nantes, France."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Al-Azzoni, I., and Iqbal, S. (2024). Access Control Verification in Smart Contracts Using Colored Petri Nets. Computers, 13.","DOI":"10.3390\/computers13110274"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Cra\u00df, S., Lackner, A., Begic, N., Mirhosseini, S.A.M., and Kirchmayr, N. (2022, January 27\u201330). Collaborative Administration of Role-Based Access Control in Smart Contracts. Proceedings of the 4th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris, France.","DOI":"10.1109\/BRAINS55737.2022.9909116"},{"key":"ref_28","unstructured":"John, B. (2025, December 15). Integrating Smart Contracts for Role-Based Access Verification in Blockchain-Enabled Data Storage Systems. Available online: https:\/\/www.researchgate.net\/publication\/393332751_Integrating_Smart_Contracts_for_Role-Based_Access_Verification_in_Blockchain-Enabled_Data_Storage_Systems."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"106762","DOI":"10.1016\/j.infsof.2021.106762","article-title":"iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms","volume":"144","author":"Hamdaqa","year":"2022","journal-title":"Inf. Softw. Technol."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Al-Azzoni, I., and Heckel, R. (2023, January 11\u201315). Modelling multi-party role-based access control policies for iContractML smart contracts. Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering Workshops (ASEW).","DOI":"10.1109\/ASEW60602.2023.00018"},{"key":"ref_31","first-page":"1","article-title":"Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models","volume":"24","author":"Heckel","year":"2025","journal-title":"J. Object Technol."},{"key":"ref_32","unstructured":"(2025, December 15). System Card: Claude Opus 4 & Claude Sonnet 4. Available online: https:\/\/www.anthropic.com\/news\/claude-4."},{"key":"ref_33","unstructured":"Achiam, J., Adler, S., Agarwal, S., Ahmad, L., Akkaya, I., Aleman, F.L., Almeida, D., Altenschmidt, J., Altman, S., and Anadkat, S. (2024). GPT-4 Technical Report. arXiv."},{"key":"ref_34","unstructured":"(2025, December 15). Meta AI. Available online: https:\/\/www.meta.ai\/."},{"key":"ref_35","unstructured":"(2025, December 15). Google Gemini. Available online: https:\/\/gemini.google.com\/app."},{"key":"ref_36","unstructured":"(2025, December 15). Acceleo Query Language (AQL). Available online: https:\/\/eclipse.dev\/acceleo\/documentation\/."}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/17\/1\/1\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:36:24Z","timestamp":1766136984000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/17\/1\/1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,19]]},"references-count":36,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2026,1]]}},"alternative-id":["info17010001"],"URL":"https:\/\/doi.org\/10.3390\/info17010001","relation":{},"ISSN":["2078-2489"],"issn-type":[{"value":"2078-2489","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,19]]}}}