Model learning

Learning of Behavioural Models and Dependency Graphs for Communicating Systems with CkTailv2
This paper presents a model learning approach to recover models from event logs for communicating systems. We refer here to systems …
Sébastien Salva and Elliott Blot
PDF Cite
MLCA: a Model-Learning-Checking Approach for IoT Systems
The Internet of Things (IoT) is a broad concept comprising a wide ecosystem of interconnected services and devices connected to the …
Sébastien Salva and Elliott Blot
PDF Cite Project DOI
CIFRE Thesis with the Michelin company 13-16
Model inference and testing of Legacy applications Supervisor of the PHD student William Durand. Purposes: Model learning of legacy apps used to control industrial systems, Regression testing, Test generation to check whether a new system is compliant with the older one
sébastien Salva