Segui
Ngo Minh Thang NGUYEN
Ngo Minh Thang NGUYEN
Model-Based Testing PhD at CEA Saclay & CentraleSupélec
Email verificata su centralesupelec.fr - Home page
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–3