Towards a workflow for model-based testing of embedded systems

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]

@inproceedings{ZafarAE21,
  title = {Towards a workflow for model-based testing of embedded systems},
  author = {Muhammad Nouman Zafar and Wasif Afzal and Eduard Enoiu},
  year = {2021},
  doi = {10.1145/3472672.3473956},
  url = {https://doi.org/10.1145/3472672.3473956},
  researchr = {https://researchr.org/publication/ZafarAE21},
  cites = {0},
  citedby = {0},
  pages = {33-40},
  booktitle = {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},
  editor = {Sinem Getir Yaman and Rui Prada and Fitsum Meshesha Kifetew and Nicolás Cardozo},
  publisher = {ACM},
  isbn = {978-1-4503-8623-4},
}