{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:07:44Z","timestamp":1767035264778,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T00:00:00Z","timestamp":1614211200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["871319"],"award-info":[{"award-number":["871319"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,2,25]]},"DOI":"10.1145\/3452383.3452388","type":"proceedings-article","created":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T18:03:18Z","timestamp":1619460198000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Model-Based Testing in Practice: An Industrial Case Study using GraphWalker"],"prefix":"10.1145","author":[{"given":"Muhammad Nouman","family":"Zafar","sequence":"first","affiliation":[{"name":"Malardalen University, Sweden"}]},{"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[{"name":"Malardalen University, Sweden"}]},{"given":"Eduard","family":"Enoiu","sequence":"additional","affiliation":[{"name":"Malardalen University, Sweden"}]},{"given":"Athanasios","family":"Stratis","sequence":"additional","affiliation":[{"name":"Bombardier Transportation AB, Sweden"}]},{"given":"Aitor","family":"Arrieta","sequence":"additional","affiliation":[{"name":"Mondragon University, Spain"}]},{"given":"Goiuria","family":"Sagardui","sequence":"additional","affiliation":[{"name":"Mondragon University, Spain"}]}],"member":"320","published-online":{"date-parts":[[2021,4,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. GraphWalker. https:\/\/graphwalker.github.io\/. last checked: 08-Aug-2020."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. MoMuT. https:\/\/momut.org\/. last checked: 08-Aug-2020."},{"key":"e_1_3_2_1_3_1","unstructured":"[n.d.]. NModel. https:\/\/archive.codeplex.com\/?p=nmodel. last checked: 08-Aug-2020."},{"key":"e_1_3_2_1_4_1","unstructured":"[n.d.]. SpecExplorer. https:\/\/www.microsoft.com\/en-us\/research\/project\/model-based-testing-with-specexplorer\/. last checked: 08-Aug-2020."},{"key":"e_1_3_2_1_5_1","unstructured":"[n.d.]. UPPAAL. http:\/\/www.uppaal.org\/. last checked: 08-Aug-2020."},{"key":"e_1_3_2_1_6_1","unstructured":"[n.d.]. Uppaal-Tron. https:\/\/people.cs.aau.dk\/\u00a0marius\/tron\/. last checked: 08-Aug-2020."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Shaukat Ali Hong Lu Shuai Wang Tao Yue and Man Zhang. 2017. Chapter Two - Uncertainty-Wise Testing of Cyber-Physical Systems. Advances in Computers Vol.\u00a0107. Elsevier 23 \u2013 94.","DOI":"10.1016\/bs.adcom.2017.06.001"},{"volume-title":"Introduction to Software Testing","author":"Jeff Ammann","key":"e_1_3_2_1_8_1","unstructured":"Paul. Ammann and Jeff. Offutt. 2016. Introduction to Software Testing. Cambridge University Press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.65"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Arilo\u00a0C. Dias\u00a0Neto Rajesh Subramanyan Marlon Vieira and Guilherme\u00a0H. Travassos. 2007. 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) 2007. Association for Computing Machinery New York NY USA.","DOI":"10.1145\/1353673.1353681"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.15"},{"key":"e_1_3_2_1_12_1","unstructured":"Brent Hecht Lauren Wilcox Jeffrey\u00a0P. Bigham Johannes Sch\u00f6ning Ehsan Hoque Jason Ernst Yonatan Bisk Luigi De\u00a0Russis Lana Yarosh Bushra Anjum Danish Contractor and Cathy Wu. [n.d.]. It\u2019s Time to Do Something: Mitigating the Negative Impacts of Computing Through a Change to the Peer Review Process. ACM Future of Computing Blog https:\/\/acm-fca.org\/2018\/03\/29\/negativeimpacts\/. last checked: 11-Oct-2020."},{"volume-title":"Model-based testing essentials-guide to the ISTQB certified model-based tester: foundation level","author":"Kramer Anne","key":"e_1_3_2_1_13_1","unstructured":"Anne Kramer and Bruno Legeard. 2016. Model-based testing essentials-guide to the ISTQB certified model-based tester: foundation level. John Wiley & Sons."},{"key":"e_1_3_2_1_14_1","volume-title":"Studying software engineers: Data collection techniques for software field studies. Empirical software engineering 10, 3","author":"Lethbridge C","year":"2005","unstructured":"Timothy\u00a0C Lethbridge, Susan\u00a0Elliott Sim, and Janice Singer. 2005. Studying software engineers: Data collection techniques for software field studies. Empirical software engineering 10, 3 (2005), 311\u2013341."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107402"},{"volume-title":"Tools and Methods of Program Analysis","author":"Li Wenbin","key":"e_1_3_2_1_16_1","unstructured":"Wenbin Li, Franck Le\u00a0Gall, and Naum Spaseski. 2018. A Survey on Model-Based Testing Tools for Test Case Generation. In Tools and Methods of Program Analysis, Vladimir Itsykson, Andre Scedrov, and Victor Zakharov(Eds.). Springer International Publishing, Cham, 77\u201389."},{"key":"e_1_3_2_1_17_1","volume-title":"H\u00e8l\u00e9ne Le Guen, and Paul Pettersson","author":"Marinescu Raluca","year":"2015","unstructured":"Raluca Marinescu, Cristina Seceleanu, H\u00e8l\u00e9ne Le Guen, and Paul Pettersson. 2015. Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Advances in Computers, Vol.\u00a098. Elsevier, 89 \u2013 140."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.29"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.32"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062529"},{"key":"e_1_3_2_1_21_1","volume-title":"Guidelines for conducting and reporting case study research in software engineering. Empirical software engineering 14, 2","author":"Runeson Per","year":"2009","unstructured":"Per Runeson and Martin H\u00f6st. 2009. Guidelines for conducting and reporting case study research in software engineering. Empirical software engineering 14, 2 (2009), 131."},{"key":"e_1_3_2_1_22_1","volume-title":"Assessing Model-Based Testing: An Empirical Study Conducted in Industry. In Companion Proceedings of the 36th International Conference on Software Engineering. Association for Computing Machinery","author":"Schulze Christoph","year":"2014","unstructured":"Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, and Daniel Goldman. 2014. Assessing Model-Based Testing: An Empirical Study Conducted in Industry. In Companion Proceedings of the 36th International Conference on Software Engineering. Association for Computing Machinery, New York, NY, USA."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0291-0"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ADCOM.2014.7103243"},{"volume-title":"Complexity Challenges in Development of Cyber-Physical Systems","author":"T\u00f6rngren Martin","key":"e_1_3_2_1_25_1","unstructured":"Martin T\u00f6rngren and Ulf Sellgren. 2018. Complexity Challenges in Development of Cyber-Physical Systems. Springer International Publishing, Cham, 478\u2013503."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Mark Utting Bruno Legeard Fabrice Bouquet Elizabeta Fourneret Fabien Peureux and Alexandre Vernotte. 2016. Chapter Two - Recent Advances in Model-Based Testing. Advances in Computers Vol.\u00a0101. Elsevier 53 \u2013 120.","DOI":"10.1016\/bs.adcom.2015.11.004"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Mark Utting Alexander Pretschner and Bruno Legeard. 2012. A taxonomy of model-based testing approaches. Software testing verification and reliability 22 5(2012) 297\u2013312.","DOI":"10.1002\/stvr.456"}],"event":{"name":"ISEC 2021: 14th Innovations in Software Engineering Conference","acronym":"ISEC 2021","location":"Bhubaneswar, Odisha India"},"container-title":["Proceedings of the 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452383.3452388","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452383.3452388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:40Z","timestamp":1750191460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452383.3452388"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,25]]},"references-count":27,"alternative-id":["10.1145\/3452383.3452388","10.1145\/3452383"],"URL":"https:\/\/doi.org\/10.1145\/3452383.3452388","relation":{},"subject":[],"published":{"date-parts":[[2021,2,25]]},"assertion":[{"value":"2021-04-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}