Mouna Tka: Génération automatique de test pour les contrôleurs logiques programmables synchrones. (Automated test generation for logical programmable synchronous controllers). Grenoble Alpes University, France 2016