Méthodes et outils pour le test logiciel
Ce document retrace de manière synthétique mes travaux de recherche depuis septembre 1999, date à laquelle j'ai été recruté sur un poste de Maître de Conférences à l'université Joseph Fourier (Grenoble 1).<br />Ces travaux, menés au sein de l'équipe VASCO du laboratoire LIG, por...
Main Author: | Parissis, Ioannis |
---|---|
Language: | FRE |
Published: |
2007
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00377293 http://tel.archives-ouvertes.fr/docs/00/37/72/93/PDF/HDRIoannisParissis.pdf |
Similar Items
-
Test de logiciels synchrones avec la PLC
by: Seljimi, Besnik
Published: (2009) -
Génération automatique de cas de test guidée par les propriétés de sûreté
by: Vassy, Jérôme
Published: (2004) -
Critères de couverture structurelle pour les programmes Lustre
by: Lakehal, Abdesselam
Published: (2006) -
Test de logiciels synchrones spécifiés en Lustre
by: Parissis, Ioannis
Published: (1996) -
Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques
by: Du Bousquet, Lydie
Published: (1999)