Research topics

Model-based Testing (timed systems, web services, rich client applications), testability

Some Problematics:

Model Inference

We studied: * Model generation of (formal) models from trace sets : combination of different approaches, Expert systems, Data mining, Machine Learning, Model transformations (collaboration with the industrial partner Michelin).

Some problematics:

Thesis supervisory:

Supervisor of Master (university)training: