Génération automatique de tests à partir de spécifications JML Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Julien Groslambert, Jacques Julliand Réunion.