Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. - Ngo Minh Thang Nguyen; Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (ICST Workshops, 2019)

Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol (Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle) - Ngo Minh Thang Nguyen (2019)

Symbolic Path-Guided Test Cases for Models with Data and Time. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall; Ngo Minh Thang Nguyen (FACS, 2023)