Lecture "(Software) Testing: Some Advances on FSM-based Approaches"

On September 22 at 16.20 (UTC+3) Natalia Kushik will give a lecture "(Software) Testing: Some Advances on FSM-based Approaches".

Summary:

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.