Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui. A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. In Raian Ali, Hermann Kaindl, Leszek A. Maciaszek, editors, Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020. pages 595-602, SCITEPRESS, 2020. [doi]
Abstract is missing.