Ngo Minh Thang Nguyen

According to our database, Ngo Minh Thang Nguyen authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Symbolic Path-Guided Test Cases for Models with Data and Time.

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

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

PhD thesis, 2019

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks.

Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019