ICTSS 2023 (series) / Natalia Kushik
Registered user since Tue 19 Sep 2023
Name:Natalia Kushik
Country:France
Affiliation:SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris
Research interests:Verification, Model based testing, Formal methods
Contributions
2023
ICTSS
- Committee Member in Program Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track
- Probabilistic approach for minimizing checking sequences for non-deterministic FSMs
- Session Chair of Session on Test automation and design (part of IFIP-ICTSS 35th International Conference on Testing Software and Systems)
ICTSS 2023-profile
View general profile
View general profile