Doctorat
Equipe : Test Formel et Exploration de Systèmes
Contributions au test de logiciel basé sur des spécifications formelles
Début le 01/01/1970
Direction : GAUDEL, Marie-Claude
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI
Soutenue le 21/10/2005 devant le jury composé de :
Brigitte Rozoy, Ana Cavalli, Richard Castanet, Thiérry Jéron, Bruno Marre, Marie-Claude Gaudel
Activités de recherche :
- Test de Logiciels
- Méthodes Formelles de Génie Logiciel
Résumé :
Pour en savoir plus: http://www.lri.fr/~lestienn/Publi/These.ps
