Folgen
Ngo Minh Thang NGUYEN
Ngo Minh Thang NGUYEN
Model-Based Testing PhD at CEA Saclay & CentraleSupélec
Bestätigte E-Mail-Adresse bei centralesupelec.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3