Лекция «(Software) Testing: Some Advances on FSM-based Approaches»

22 сентября в 16.20 пройдет лекция Натальи Кушик «(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.

Наталья Кушик — assistant professor at the department of Mobile Networks and Services, Telecom SudParis/Institut Mines Telecom (Франция).

Лекция пройдет на английском языке.

Обратите внимание: лекция пройдет офлайн в здании НИУ ВШЭ по адресу Москва, Покровский бульвар, 11, аудитория M203.

Для участия необходима регистрация.