A Model-Based Test Script Generation Framework for Embedded Software - Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Athanasios Stratis; Ola Sellin (14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2021, Porto de Galinhas, Brazil, April 12-16, 2021, 2021)

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker - Muhammad Nouman Zafar; Wasif Afzal; Eduard Enoiu; Athanasios Stratis; Aitor Arrieta; Goiuria Sagardui (ISEC 2021: 14th Innovations in Software Engineering Conference, Bhubaneswar, Odisha, India, February 25-27, 2021, 2021)

A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System - Athanasios Stratis; Adnan Causevic (2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017, 2017)