Лекция «(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.
Для участия необходима регистрация.