{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:47:24Z","timestamp":1750747644619,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"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":["871319"],"award-info":[{"award-number":["871319"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Commission","award":["957212"],"award-info":[{"award-number":["957212"]}]},{"name":"European Commission","award":["101007350"],"award-info":[{"award-number":["101007350"]}]},{"name":"ITEA3 SmartDelta","award":["SmartDelta"],"award-info":[{"award-number":["SmartDelta"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548659.3561313","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:08:05Z","timestamp":1668024485000},"page":"9-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Automation of the creation and execution of system level hardware-in-loop tests through model-based testing"],"prefix":"10.1145","author":[{"given":"Viktor Aronsson","family":"Karlsson","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Ahmed","family":"Almasri","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Eduard Paul","family":"Enoiu","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Peter","family":"Charbachi","sequence":"additional","affiliation":[{"name":"Volvo, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. Why Software Updates Are So Important | McAfee Blog. McAfee (9 2017 ). https:\/\/www.mcafee.com\/blogs\/internet-security\/software-updates-important\/  \t\t\t\t  2017. Why Software Updates Are So Important | McAfee Blog. McAfee (9 2017 ). https:\/\/www.mcafee.com\/blogs\/internet-security\/software-updates-important\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2018. How Model Based Testing Benefits the End-user. https:\/\/www.uk.sogeti. com\/content-hub\/blog\/how-model-based-testing-benefits-the-end-user\/.  \t\t\t\t  2018. How Model Based Testing Benefits the End-user. https:\/\/www.uk.sogeti. com\/content-hub\/blog\/how-model-based-testing-benefits-the-end-user\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2018. Model Based Testing: Testing Type You Must Know!-Software Testing Class. https:\/\/www.softwaretestingclass.com\/model-based-testing\/  \t\t\t\t  2018. Model Based Testing: Testing Type You Must Know!-Software Testing Class. https:\/\/www.softwaretestingclass.com\/model-based-testing\/"},{"key":"e_1_3_2_1_4_1","unstructured":"2020. What Is Hardware-in-the-Loop ? National Instruments (12 2020 ). https:\/\/www.ni.com\/sv-se\/innovations\/white-papers\/17\/what-ishardware-in-the-loop-. html#section--380192003  \t\t\t\t  2020. What Is Hardware-in-the-Loop ? National Instruments (12 2020 ). https:\/\/www.ni.com\/sv-se\/innovations\/white-papers\/17\/what-ishardware-in-the-loop-. html#section--380192003"},{"key":"e_1_3_2_1_5_1","unstructured":"2021. What is Hardware-in-the-Loop (HIL) Testing ? http:\/\/www.genuen.com\/ blog\/what-is-hardware-in-the-loop-hil-testing  \t\t\t\t  2021. What is Hardware-in-the-Loop (HIL) Testing ? http:\/\/www.genuen.com\/ blog\/what-is-hardware-in-the-loop-hil-testing"},{"key":"e_1_3_2_1_6_1","unstructured":"2022. CONFORMIQ CREATOR. https:\/\/www.conformiq.com\/products\/ conformiq-creator\/.  \t\t\t\t  2022. CONFORMIQ CREATOR. https:\/\/www.conformiq.com\/products\/ conformiq-creator\/."},{"key":"e_1_3_2_1_7_1","unstructured":"2022. SystemWeaver. https:\/\/www.systemweaver.se\/  \t\t\t\t  2022. SystemWeaver. https:\/\/www.systemweaver.se\/"},{"key":"e_1_3_2_1_8_1","unstructured":"2022. What is a state machine? https:\/\/www.itemis.com\/en\/yakindu\/statemachine\/documentation\/user-guide\/overview_what_are_state_machines  \t\t\t\t  2022. What is a state machine? https:\/\/www.itemis.com\/en\/yakindu\/statemachine\/documentation\/user-guide\/overview_what_are_state_machines"},{"key":"e_1_3_2_1_9_1","unstructured":"Larry Apfelbaum and John Doyle. 1997. Model Based Testing.  \t\t\t\t  Larry Apfelbaum and John Doyle. 1997. Model Based Testing."},{"key":"e_1_3_2_1_10_1","unstructured":"Automated-360. 2022. 9 Great Tools to work with Model-based Testing (MBT). https:\/\/automated-360. com\/model-based-testing\/model-based-testing\/ #graphwalker  \t\t\t\t  Automated-360. 2022. 9 Great Tools to work with Model-based Testing (MBT). https:\/\/automated-360. com\/model-based-testing\/model-based-testing\/ #graphwalker"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582653"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the International Conference On Software Testing Analysis Review.","author":"Blackburn Mark R.","year":"2002","unstructured":"Mark R. Blackburn , Robert Busser , and Aaron Nauman . 2002 . Interface-Driven, Model-Based Test Automation . In Proceedings of the International Conference On Software Testing Analysis Review. Mark R. Blackburn, Robert Busser, and Aaron Nauman. 2002. Interface-Driven, Model-Based Test Automation. In Proceedings of the International Conference On Software Testing Analysis Review."},{"key":"e_1_3_2_1_13_1","unstructured":"Eclipse. 2022. Eclipse Papyrus. https:\/\/www.eclipse.org\/papyrus\/  \t\t\t\t  Eclipse. 2022. Eclipse Papyrus. https:\/\/www.eclipse.org\/papyrus\/"},{"key":"e_1_3_2_1_14_1","unstructured":"Eclipse. 2022. Eclipse Papyrus\u2122 Documentation. https:\/\/www.eclipse.org\/ papyrus\/documentation.html  \t\t\t\t  Eclipse. 2022. Eclipse Papyrus\u2122 Documentation. https:\/\/www.eclipse.org\/ papyrus\/documentation.html"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-385920-4.00013-8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.44"},{"key":"e_1_3_2_1_17_1","unstructured":"GraphWalker. 2022. GraphWalker forum. https:\/\/groups.google.com\/g\/ graphwalker  \t\t\t\t  GraphWalker. 2022. GraphWalker forum. https:\/\/groups.google.com\/g\/ graphwalker"},{"key":"e_1_3_2_1_18_1","unstructured":"Aliya Hussain. 2018. An Evaluation of Model-based Testing in Industrial Practice: From System Modelling to Test Generation. Master's thesis.  \t\t\t\t  Aliya Hussain. 2018. An Evaluation of Model-based Testing in Industrial Practice: From System Modelling to Test Generation. Master's thesis."},{"key":"e_1_3_2_1_19_1","unstructured":"Korhonen Joakim. 2020. Automated Model Generation Using GraphWalker Based on Given-When-Then Specifications. Master's thesis.  \t\t\t\t  Korhonen Joakim. 2020. Automated Model Generation Using GraphWalker Based on Given-When-Then Specifications. Master's thesis."},{"key":"e_1_3_2_1_20_1","unstructured":"Massila Kamalrudin and Safiah Sidek. 2015. A Review on Software Requirements Validation and Consistency Management. International Journal of Software Engineering and its Applications x x ( 2015 ) 20.  \t\t\t\t  Massila Kamalrudin and Safiah Sidek. 2015. A Review on Software Requirements Validation and Consistency Management. International Journal of Software Engineering and its Applications x x ( 2015 ) 20."},{"key":"e_1_3_2_1_21_1","volume-title":"Validation of Model-Based Testing in Hardware in the Loop Platform. In 2013 10th International Conference on Information Technology: New Generations.","author":"Ker\u00e4nen Janne","year":"2013","unstructured":"Janne Ker\u00e4nen and Tomi R\u00e4ty . 2013 . Validation of Model-Based Testing in Hardware in the Loop Platform. In 2013 10th International Conference on Information Technology: New Generations. Janne Ker\u00e4nen and Tomi R\u00e4ty. 2013. Validation of Model-Based Testing in Hardware in the Loop Platform. In 2013 10th International Conference on Information Technology: New Generations."},{"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_22_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 . 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_23_1","unstructured":"Yasir Masood Malik. 2010. Model Based Testing: An Evaluation. Master's thesis.  \t\t\t\t  Yasir Masood Malik. 2010. Model Based Testing: An Evaluation. Master's thesis."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"L. Pan X. Zheng H.X. Chen T. Luan H. Bootwala and L. Batten. 2017. Cyber security attacks to modern vehicular systems. Journal of Information Security and Applications 36 ( 2017 ) 90-100.  \t\t\t\t  L. Pan X. Zheng H.X. Chen T. Luan H. Bootwala and L. Batten. 2017. Cyber security attacks to modern vehicular systems. Journal of Information Security and Applications 36 ( 2017 ) 90-100.","DOI":"10.1016\/j.jisa.2017.08.005"},{"key":"e_1_3_2_1_25_1","unstructured":"ProfessionalQA. 2022. Model Based Testing. https:\/\/www.professionalqa.com \/ model-based-testing-tools  \t\t\t\t  ProfessionalQA. 2022. Model Based Testing. https:\/\/www.professionalqa.com \/ model-based-testing-tools"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Per Runeson and Martin H\u00f6st. 2009. Guidelines for Conducting and Reporting Case Study Research in Software Engineering. Empirical Softw. Engg. 14 2 ( 2009 ) 131-164.  \t\t\t\t  Per Runeson and Martin H\u00f6st. 2009. Guidelines for Conducting and Reporting Case Study Research in Software Engineering. Empirical Softw. Engg. 14 2 ( 2009 ) 131-164.","DOI":"10.1007\/s10664-008-9102-8"},{"key":"e_1_3_2_1_27_1","volume-title":"5 reasons why general software updates and patches are important","author":"Symanovich Steve","year":"2021","unstructured":"Steve Symanovich . 2021. 5 reasons why general software updates and patches are important . NortonLifeLock ( 1 2021 ). https:\/\/us.norton. com\/internetsecurityhow-to-the-importance-of-general-software-updates-and-patches.html Steve Symanovich. 2021. 5 reasons why general software updates and patches are important. NortonLifeLock (1 2021 ). https:\/\/us.norton. com\/internetsecurityhow-to-the-importance-of-general-software-updates-and-patches.html"},{"key":"e_1_3_2_1_28_1","unstructured":"Ministry Of Testing. 2022. Model-based testing open source Tools? https:\/\/club. ministryoftesting.com\/t\/model-based-testing-open-source-tools\/20159\/8  \t\t\t\t  Ministry Of Testing. 2022. Model-based testing open source Tools? https:\/\/club. ministryoftesting.com\/t\/model-based-testing-open-source-tools\/20159\/8"},{"volume-title":"Practical model-based testing a tools approach","author":"Legeard Utting","key":"e_1_3_2_1_29_1","unstructured":"Mark. Utting and Legeard . Bruno. 2006. Practical model-based testing a tools approach . Morgan Kaufmann Publishers , San Francisco, CA . Mark. Utting and Legeard. Bruno. 2006. Practical model-based testing a tools approach. Morgan Kaufmann Publishers, San Francisco, CA."},{"key":"e_1_3_2_1_30_1","first-page":"169","article-title":"Chapter 6-Block Diagram Modeling and System Analysis. In Model-Based Engineering for Complex Electronic Systems, Peter Wilson and H. Alan Mantooth (Eds.). Newnes","author":"Wilson Peter","year":"2013","unstructured":"Peter Wilson and H. Alan Mantooth . 2013 . Chapter 6-Block Diagram Modeling and System Analysis. In Model-Based Engineering for Complex Electronic Systems, Peter Wilson and H. Alan Mantooth (Eds.). Newnes , Oxford , 169 - 196 . Peter Wilson and H. Alan Mantooth. 2013. Chapter 6-Block Diagram Modeling and System Analysis. In Model-Based Engineering for Complex Electronic Systems, Peter Wilson and H. Alan Mantooth (Eds.). Newnes, Oxford, 169-196.","journal-title":"Oxford"},{"key":"e_1_3_2_1_31_1","volume-title":"Model-Based Testing in Practice: An Industrial Case Study Using GraphWalker. In 14th Innovations in Software Engineering Conference. ACM","author":"Zafar Muhammad Nouman","year":"2021","unstructured":"Muhammad Nouman Zafar , Wasif Afzal , Eduard Enoiu , Athanasios Stratis , Aitor Arrieta , and Goiuria Sagardui . 2021 . Model-Based Testing in Practice: An Industrial Case Study Using GraphWalker. In 14th Innovations in Software Engineering Conference. ACM , New York, NY, USA. Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu, Athanasios Stratis, Aitor Arrieta, and Goiuria Sagardui. 2021. Model-Based Testing in Practice: An Industrial Case Study Using GraphWalker. In 14th Innovations in Software Engineering Conference. ACM, New York, NY, USA."}],"event":{"name":"A-TEST '22: 13th International Workshop on Automating Test Case Design, Selection and Evaluation","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"],"location":"Singapore Singapore","acronym":"A-TEST '22"},"container-title":["Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548659.3561313","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548659.3561313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:39Z","timestamp":1750183839000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548659.3561313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":31,"alternative-id":["10.1145\/3548659.3561313","10.1145\/3548659"],"URL":"https:\/\/doi.org\/10.1145\/3548659.3561313","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}