{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,9]],"date-time":"2025-11-09T17:48:33Z","timestamp":1762710513721,"version":"3.40.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T00:00:00Z","timestamp":1742256000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T00:00:00Z","timestamp":1742256000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["101007350"],"award-info":[{"award-number":["101007350"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011914","name":"M\u00e4lardalen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100011914","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Model-based testing (MBT) generates test cases through a model representing the software under test (SUT). The generated abstract test cases need to be transformed into concrete or executable test scripts. Despite the benefits offered by MBT, its industrial adoption is slow. This paper aims to propose a Model-Based Test scrIpt GenEration fRamework (TIGER) based on GraphWalker (GW), an open-source MBT tool, to evaluate the accuracy of generated test scripts to reflect real-world scenarios defined by the model, and to report on the findings of an industrial survey on MBT adoption. We have validated the robustness of the TIGER using an industrial case study from Alstom Rail AB, Sweden. We have injected faults into the model of the SUT based on three mutation operators to generate faulty test scripts. The aim of generating faulty test scripts is to produce failing test steps and to guarantee the absence of faults in the SUT. Moreover, we have also generated the test scripts using the correct version of the model and executed them to analyze the behavior of the generated test scripts in comparison with manually written test scripts. The experimental results show that the generated test scripts are executable, provide 100% requirements coverage, and can be used to uncover faults at the software-in-the-loop simulation level of system testing. Additionally, the analysis of the survey data reveals that MBT can address most of the identified testing challenges, but there remain certain barriers to its adoption.<\/jats:p>","DOI":"10.1007\/s42979-025-03823-7","type":"journal-article","created":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T08:24:36Z","timestamp":1742286276000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Model-Based Test Script Generation Framework and Industrial Insight"],"prefix":"10.1007","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8746-7209","authenticated-orcid":false,"given":"Muhammad Nouman","family":"Zafar","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0611-2655","authenticated-orcid":false,"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2416-4205","authenticated-orcid":false,"given":"Eduard Paul","family":"Enoiu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7806-3114","authenticated-orcid":false,"given":"Zulqarnain","family":"Haider","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0000-9022-9850","authenticated-orcid":false,"given":"Inderjeet","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,3,18]]},"reference":[{"issue":"2","key":"3823_CR1","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/2697399","volume":"58","author":"RV Binder","year":"2015","unstructured":"Binder RV, Legeard B, Kramer A. Model-based testing: where does it stand? Commun ACM. 2015;58(2):52\u20136.","journal-title":"Commun ACM"},{"key":"3823_CR2","doi-asserted-by":"crossref","unstructured":"Kramer A, Legeard B. Model-based testing essentials-guide to the ISTQB certified model-based tester: foundation level. John Wiley & Sons; 2016 Apr 11.","DOI":"10.1002\/9781119130161"},{"issue":"1","key":"3823_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TR.2014.2354172","volume":"64","author":"D Xu","year":"2014","unstructured":"Xu D, Xu W, Kent M, Thomas L, Wang L. An automated test generation technique for software quality assurance. IEEE Trans Reliab. 2014;64(1):247\u201368.","journal-title":"IEEE Trans Reliab"},{"key":"3823_CR4","doi-asserted-by":"crossref","unstructured":"Paiva ACR, Maciel D, da\u00a0Silva AR. From requirements to automated acceptance tests with the RSL language. In: International conference on evaluation of novel approaches to SE. Berlin: Springer; 2019.","DOI":"10.1007\/978-3-030-40223-5_3"},{"key":"3823_CR5","doi-asserted-by":"crossref","unstructured":"Kholkar D, Yelure P, Tiwari H, Deshpande A, Shetye A. Experience with industrial adoption of business process models for user acceptance testing. In: Modelling foundations and applications: 9th European conference, ECMFA 2013, Montpellier, France, July 1\u20135, 2013. Proceedings 9. Berlin: Springer; 2013. pp. 192\u2013206.","DOI":"10.1007\/978-3-642-39013-5_14"},{"issue":"5","key":"3823_CR6","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10664-022-10145-2","volume":"27","author":"E Al\u00e9groth","year":"2022","unstructured":"Al\u00e9groth E, Karl K, Rosshagen H, Helmfridsson T, Olsson N. Practitioners\u2019 best practices to adopt, use or abandon model-based testing with graphical models for software-intensive systems. Empir Softw Eng. 2022;27(5):103.","journal-title":"Empir Softw Eng"},{"key":"3823_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.scico.2016.01.003","volume":"120","author":"F Belli","year":"2016","unstructured":"Belli F, Budnik CJ, Hollmann A, Tuglular T, Wong WE. Model-based mutation testing-approach and case studies. Sci Comput Program. 2016;120:25\u201348.","journal-title":"Sci Comput Program"},{"key":"3823_CR8","doi-asserted-by":"crossref","unstructured":"Zafar MN, Afzal W, Enoiu EP, Stratis A, Sellin O. A model-based test script generation framework for embedded software. In: International Conference on Software Testing, Verification and Validation Workshops (ICSTW); 2021, Porto de Galinhas, Brazil: IEEE, pp. 192-198.","DOI":"10.1109\/ICSTW52544.2021.00041"},{"key":"3823_CR9","volume-title":"Practical model-based testing: a tools approach","author":"M Utting","year":"2010","unstructured":"Utting M, Legeard B. Practical model-based testing: a tools approach. Amsterdam: Elsevier; 2010."},{"key":"3823_CR10","doi-asserted-by":"crossref","unstructured":"Zafar MN, Afzal W, Enoiu EP, Stratis A, Arrieta A, Sagardui G. Model-based testing in practice: an industrial case study using GraphWalker. In: 14th Innovations in software engineering conference (formerly known as India software engineering conference), 2021, New York, NY, USA: ACM; 2021, pp 1-11.","DOI":"10.1145\/3452383.3452388"},{"key":"3823_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111032","volume":"180","author":"V Garousi","year":"2021","unstructured":"Garousi V, Kele\u015f AB, Balaman Y, G\u00fcler Z\u00d6, Arcuri A. Model-based testing in practice: an experience report from the web applications domain. J Syst Softw. 2021;180: 111032.","journal-title":"J Syst Softw"},{"key":"3823_CR12","doi-asserted-by":"crossref","unstructured":"Krenn W, Schlick R, Tiran S, Aichernig B, Jobstl E, Brandl H. Momut:: UML model-based mutation testing for UML. In: 2015 IEEE 8th international conference on software testing, verification and validation (ICST), Graz, Austria, IEEE; 2015. pp. 1\u20138.","DOI":"10.1109\/ICST.2015.7102627"},{"key":"3823_CR13","doi-asserted-by":"crossref","unstructured":"Aichernig BK, J\u00f6bstl E. Efficient refinement checking for model-based mutation testing. In: 2012 12th International conference on quality software. Xi'an, China, IEEE; 2012. pp. 21\u201330.","DOI":"10.1109\/QSIC.2012.58"},{"issue":"9","key":"3823_CR14","first-page":"5","volume":"4","author":"C Graue","year":"2015","unstructured":"Graue C. Qualitative data analysis. Int J Sales Retail Mark. 2015;4(9):5\u201314.","journal-title":"Int J Sales Retail Mark"},{"key":"3823_CR15","doi-asserted-by":"crossref","unstructured":"Cruzes DS, Dyb\u00e5 T. Recommended steps for thematic synthesis in software engineering. In: 2011 International symposium on empirical software engineering and measurement. Banff, AB, Canada, IEEE; 2011. pp. 275\u201384.","DOI":"10.1109\/ESEM.2011.36"},{"key":"3823_CR16","doi-asserted-by":"crossref","unstructured":"Mohacsi S, Felderer M, Beer A. A case study on the efficiency of model-based testing at the European space agency. In: 8th International conference on software testing, verification and validation. Graz, Austria, IEEE; 2015, pp 1-2.","DOI":"10.1109\/ICST.2015.7102618"},{"key":"3823_CR17","doi-asserted-by":"crossref","unstructured":"Junyi Wang, Xiaoying Bai, Linyi Li, Zhicheng Ji, and Haoran Ma. A model-based framework for cloud api testing. In 41st Annual Computer Software and Applications Conference, volume 2. Turin, Italy, IEEE, 2017, pp 60-65.","DOI":"10.1109\/COMPSAC.2017.24"},{"key":"3823_CR18","doi-asserted-by":"crossref","unstructured":"Marinescu R, Saadatmand M, Bucaioni A, Seceleanu C, Pettersson P. A model-based testing framework for automotive embedded systems. In: 40th EUROMICRO conference on software engineering and advanced applications. Verona, Italy, IEEE; 2014, pp 38-47.","DOI":"10.1109\/SEAA.2014.70"},{"key":"3823_CR19","doi-asserted-by":"crossref","unstructured":"Anbunathan R, Basu A. Automation framework for test script generation for android mobile. In: 2nd IEEE international conference on recent trends in electronics, information and communication technology. Bangalore, India, IEEE; 2017, pp 1914-1918.","DOI":"10.1109\/RTEICT.2017.8256930"},{"key":"3823_CR20","doi-asserted-by":"crossref","unstructured":"Gupta P, Surve P. Model based approach to assist test case creation, execution, and maintenance for test automation. In: In Proceedings of the First International Workshop on End-to-End Test Script Engineering (ETSE '11); 2011, New York, NY, USA: ACM, 1\u20137.","DOI":"10.1145\/2002931.2002932"},{"key":"3823_CR21","doi-asserted-by":"crossref","unstructured":"de Moura JL, Char\u00e3o AS, Lima JCD, de Oliveira Stein B. Test case generation from BPMN models for automated testing of web-based BPM applications. In: 17th International conference on computational science and its applications. Trieste, Italy, IEEE; 2017, pp 1-7.","DOI":"10.1109\/ICCSA.2017.7999652"},{"key":"3823_CR22","doi-asserted-by":"crossref","unstructured":"Bonfanti S, Gargantini A, Mashkoor A. Generation of behavior-driven development C++ tests from abstract state machine scenarios. In: International conference on model and data engineering. Berlin: Springer; 2018. pp. 146\u201352.","DOI":"10.1007\/978-3-030-02852-7_13"},{"key":"3823_CR23","doi-asserted-by":"crossref","unstructured":"Vanhecke J, Devroey X, Perrouin G. AbsCon: a test concretizer for model-based testing. In: 2019 IEEE international conference on software testing, verification and validation workshops (ICSTW). Xi'an, China, IEEE; 2019. pp. 15\u201322.","DOI":"10.1109\/ICSTW.2019.00027"},{"key":"3823_CR24","doi-asserted-by":"crossref","unstructured":"Fragal VH, Simao A, Endo AT, Mousavi MR. Reducing the concretization effort in FSM-based testing of software product lines. In: 2017 IEEE international conference on software testing, verification and validation workshops (ICSTW). Tokyo, Japan, IEEE; 2017. pp. 329\u201336.","DOI":"10.1109\/ICSTW.2017.61"},{"key":"3823_CR25","doi-asserted-by":"crossref","unstructured":"Kriebel S, Markthaler M, Salman KS, Greifenberg T, Hillemacher S, Rumpe B, Schulze C, Wortmann A, Orth P, Richenhagen J. Improving model-based testing in automotive software engineering. In: Proceedings of the 40th international conference on software engineering: software engineering in practice; 2018, Gothenburg, Sweden: IEEE\/ACM, pp. 172\u201380.","DOI":"10.1145\/3183519.3183533"},{"key":"3823_CR26","unstructured":"Neto ACD, Subramanyan R, Vieira M, Travassos GH. A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM international workshop on empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE\/ACM international conference on automated software engineering (ASE), Atlanta, Georgia, 2007, New York, NY, USA. Association for Computing Machinery; 2007."},{"issue":"1","key":"3823_CR27","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10009-013-0291-0","volume":"17","author":"M Shafique","year":"2015","unstructured":"Shafique M, Labiche Y. A systematic review of state-based test tools. Int J Softw Tools Technol Transf. 2015;17(1):59\u201376.","journal-title":"Int J Softw Tools Technol Transf"},{"key":"3823_CR28","doi-asserted-by":"crossref","unstructured":"Utting M, Legeard B, Bouquet F, Fourneret E, Peureux F, Vernotte A. Chapter two\u2014recent advances in model-based testing. Advances in computers, vol. 101. Amsterdam: Elsevier; 2016. pp. 53\u2013120.","DOI":"10.1016\/bs.adcom.2015.11.004"},{"key":"3823_CR29","doi-asserted-by":"crossref","unstructured":"Marinescu R, Seceleanu C, Guen HL, Pettersson P. Chapter three\u2014a research overview of tool-supported model-based testing of requirements-based designs. Advances in computers, vol.\u00a098. Amsterdam: Elsevier; 2015. pp. 89\u2013140.","DOI":"10.1016\/bs.adcom.2015.03.003"},{"key":"3823_CR30","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-319-71734-0_7","volume-title":"Tools and methods of program analysis","author":"W Li","year":"2018","unstructured":"Li W, Gall FL, Spaseski N. A survey on model-based testing tools for test case generation. In: Itsykson V, Scedrov A, Zakharov V, editors. Tools and methods of program analysis. Cham: Springer International Publishing; 2018. p. 77\u201389."},{"key":"3823_CR31","doi-asserted-by":"crossref","unstructured":"Claessen K, Hughes J. Quickcheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the fifth ACM SIGPLAN international conference on functional programming; Montr\u00e9al, Canada, 2000, New York, NY, USA: ACM, pp. 268\u201379.","DOI":"10.1145\/357766.351266"},{"issue":"1","key":"3823_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3289256","volume":"18","author":"A Fellner","year":"2019","unstructured":"Fellner A, Krenn W, Schlick R, Tarrach T, Weissenbacher G. Model-based, mutation-driven test-case generation via heuristic-guided branching search. ACM Trans Embed Comput Syst. 2019;18(1):1\u201328.","journal-title":"ACM Trans Embed Comput Syst"},{"key":"3823_CR33","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1007\/s10270-017-0647-0","volume":"18","author":"BK Aichernig","year":"2019","unstructured":"Aichernig BK, Schumi R. Property-based testing of web services by deriving properties from business-rule models. Softw Syst Model. 2019;18:889\u2013911.","journal-title":"Softw Syst Model"},{"key":"3823_CR34","doi-asserted-by":"crossref","unstructured":"Moll\u00e9ri JS, Petersen K, Mendes E. Survey guidelines in software engineering: an annotated review. In: Proceedings of the 10th ACM\/IEEE international symposium on empirical software engineering and measurement; 2016, New York, NY, USA: ACM, pp. 1\u20136.","DOI":"10.1145\/2961111.2962619"},{"key":"3823_CR35","doi-asserted-by":"crossref","unstructured":"Tiwari S, Iyer K, Enoiu EP. Combining model-based testing and automated analysis of behavioural models using graphwalker and UPPAAL. In: 2022 29th Asia-Pacific software engineering conference (APSEC). Japan, IEEE; 2022. pp. 452\u20136.","DOI":"10.1109\/APSEC57359.2022.00061"},{"key":"3823_CR36","doi-asserted-by":"crossref","unstructured":"Gao Z. Comparative study on model based test of automotive automatic control system. In: 2023 IEEE 2nd international conference on electrical engineering, big data and algorithms (EEBDA), Changchun, China, IEEE; 2023. pp. 1628\u201332.","DOI":"10.1109\/EEBDA56825.2023.10090694"},{"issue":"1","key":"3823_CR37","doi-asserted-by":"publisher","first-page":"18","DOI":"10.3390\/electronics13010018","volume":"13","author":"MC de Castro-Cabrera","year":"2023","unstructured":"de Castro-Cabrera MC, Garc\u00eda-Dominguez A, Medina-Bulo I. CMBMeTest: generation of test suites using model-based testing plus constraint programming and metamorphic testing. Electronics. 2023;13(1):18.","journal-title":"Electronics"},{"key":"3823_CR38","doi-asserted-by":"crossref","unstructured":"Amalfitano D, Amatucci N, De Simone V, Riccio V, Rita FA. Towards a thing-in-the-loop approach for the verification and validation of IoT systems. In: Proceedings of the 1st ACM workshop on the internet of safe things; Deflt, Netherlands, 2017, New York, NY, USA: ACM, pp. 57\u201363.","DOI":"10.1145\/3137003.3137007"},{"key":"3823_CR39","doi-asserted-by":"crossref","unstructured":"Zafar MN, Afzal W, Enoiu EP, Haider Z, Singh I. Optimizing model-based generated tests: leveraging machine learning for test reduction. In: International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2024, Toronto, ON, Canada: IEEE, pp 44-54.","DOI":"10.1109\/ICSTW60967.2024.00020"},{"key":"3823_CR40","doi-asserted-by":"crossref","unstructured":"Saadatmand M, Enoiu EP, Schlingloff H, Felderer M, Afzal W. SmartDelta: automated quality assurance and optimization in incremental industrial software systems development. In: 2022 25th Euromicro conference on digital system design (DSD); 2022.","DOI":"10.1109\/DSD57027.2022.00106"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03823-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-025-03823-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03823-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T08:24:52Z","timestamp":1742286292000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-025-03823-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,18]]},"references-count":40,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2025,4]]}},"alternative-id":["3823"],"URL":"https:\/\/doi.org\/10.1007\/s42979-025-03823-7","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,18]]},"assertion":[{"value":"31 October 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}},{"value":"The following statement was added to the survey: \u201cYour information is highly confidential, the following information is for internal research purposes only\u201d. Moreover, the industrial contact persons in the author list have read and approved the manuscript for publishing.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Standard Informed Consent"}}],"article-number":"294"}}