Suivre
Ngo Minh Thang NGUYEN
Ngo Minh Thang NGUYEN
Model-Based Testing PhD at CEA Saclay & CentraleSupélec
Adresse e-mail validée de centralesupelec.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Behavioral models and scenario selection for testing IoT Trickle-based lossy multicast networks
NMT Nguyen, B Bannour, A Lapitre, P Le Gall
2019 IEEE International Conference on Software Testing, Verification and …, 2019
52019
Symbolic Path-Guided Test Cases for Models with Data and Time
B Bannour, A Lapitre, PL Gall, T Nguyen
International Conference on Formal Aspects of Component Software, 3-22, 2023
2023
Test case generation for Symbolic Distributed System Models: Application to Trickle based IoT Protocol
NMT Nguyen
Université Paris Saclay (COmUE), 2019
2019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3