Master II en Informatique - Recherche Conception et Développement des Logiciels Sûrs 2014-2015 Rapport du Stage d’initiation à la Recherche Reducing the test generation time of a Model-Based Testing tool Realisé par : Abdulqawi SAIF Encadrants : Frédéric DADEAU Bruno LEGEARD Laurent PHILIPPE 20 Juillet 2015