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