Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu. Towards a workflow for model-based testing of embedded systems. In Sinem Getir Yaman, Rui Prada, Fitsum Meshesha Kifetew, Nicolás Cardozo, editors, A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2021, Athens, Greece, August 23-24, 2021. pages 33-40, ACM, 2021. [doi]
Abstract is missing.