11, Pokrovsky boulevard.
Phone: +7 (495) 531-00-00 *27254
Rodomanov A., Kropotov D.
SIAM Journal on Optimization. 2020. Vol. 30. No. 3. P. 1878-1904.
A. Boldyrev, D. Derkach, F. Ratnikov et al.
Journal of Instrumentation. 2020. Vol. 15. P. 1-7.
Dvurechensky P., Eduard Gorbunov, Gasnikov A.
European Journal of Operational Research. 2021. Vol. 290. No. 2. P. 601-621.
Kuznetsov S., Kaytoue M., Belfodil A.
In bk.: International Journal of General Systems. Iss. 49. 2020. P. 271-285.
Kaledin M., Moulines E., Naumov A. et al.
In bk.: Proceedings of Machine Learning Research. Vol. 125: Proceedings of Thirty Third Conference on Learning Theory. 2020. P. 2144-2203.
The Faculty of Computer Science was created with the goal of becoming one of the world’s leading faculties for developers and researchers in data analysis, machine learning, big data, theoretical computer science, bioinformatics, system and software engineering, system programming, and distributed computing. In cooperation with major companies like Yandex, Sberbank, SAS, Samsung, 1C, and many others, the Faculty provides both deep theoretical knowledge and hands-on practical experience in many branches of contemporary computer science.
On September 22 at 16.20 (UTC+3) Natalia Kushik will give a lecture "(Software) Testing: Some Advances on FSM-based Approaches".
In this talk, we will discuss the possibility of model-based (software) testing. In particular, we will consider the case when the System under Test specification is given as a Finite State Machine (FSM). We will cover some 'classical' approaches in FSM-based testing, list some related problems and their complexity and will present some original results in the area. We will also underline some perspectives for future contributions.
Natalia Kushik — assistant professor at the department of Mobile Networks and Services, Telecom SudParis/Institut Mines Telecom (France).
The lecture will be given in English.
Attention: the lecture will take place offline at the HSE University building, Moscow, 11, Pokrovsky boulevard, room М П11/M203.
To participate, register below.
Add to calendar