Follow
Ngo Minh Thang NGUYEN
Ngo Minh Thang NGUYEN
Model-Based Testing PhD at CEA Saclay & CentraleSupélec
Verified email at centralesupelec.fr - Homepage
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–3