Retour au site du LAAS-CNRS

Test structurel de programmes LUSTRE : Application à un système d'instrumentation neutronique

P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Action FORMA. Programme "Maîtrise de Systèmes Complexes Réactifs et Sûrs", Octobre 1997, 7p. , N° 97549

Non diffusable

Ajouter au panier 24722

Optimisation de la stratégie de tests de validation d'une spécification SAO

H.WAESELYNCK, P.THEVENOD-FOSSE

TSF

Version Révisée : Version révisée, Juillet 1997, 40p. , N° 97062

Non diffusable

Ajouter au panier 27452

Optimisation de la stratégie de tests de validation d'une spécification SAO

H.WAESELYNCK, P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Contrat Aérospatiale N°414.0341/95, Mars 1997, 36p. , N° 97062

Non diffusable

Ajouter au panier 19742

Towards a statistical approach to testing object-oriented programs

P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Manifestation avec acte : 27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27), Seattle (USA), 24-27 Juin 1997, pp.99-108 , N° 96481

Diffusable

Ajouter au panier 18570

Problématique du test : méthodes de génération déterministes et probabilistes

P.THEVENOD-FOSSE

TSF

Revue Scientifique : Génie Logiciel, N°42, pp.126-129, Décembre 1996 , N° 96393

Diffusable

Ajouter au panier 16494

Towards a statistical approach to testing object-oriented programs

P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Rapport de Contrat : Contrat Esprit DeVa Project N°20072, Décembre 1996, pp.403-424 , N° 96481

Diffusable

Ajouter au panier 17280

Problématique du test : méthodes de génération déterministes et probabilistes

P.THEVENOD-FOSSE

TSF

Manifestation avec acte : 9èmes Journées Internationales "Le Génie Logiciel et ses Applications", Paris (France), 19-21 Novembre 1996 , N° 96393

Diffusable

Ajouter au panier 16493

Defining the unit testing level of synchronous data flow programs

P.THEVENOD-FOSSE, C.MAZUET, Y.CROUZET

TSF, Schneider

Manifestation avec acte : 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP'96), Vienne (Autriche), 23-25 Octobre 1996, pp.115-125 , N° 96208

Diffusable

Ajouter au panier 16307

Means to assess the dependability of CORE modules

K.KANOUN, J.C.LAPRIE, P.THEVENOD-FOSSE, D.A.WOLFF, A.J.CAMPBELL, P.ANDERS

TSF, British Aerospace, Deutsche

Rapport de Contrat : Contrat BRITE-EURAM IMAGES 2000, Février 1996, 61p. , N° 96010

Non diffusable

Ajouter au panier 13627

Means to assess the dependability of avionic applications

J.ARLAT, P.THEVENOD-FOSSE, D.A.WOLFF, C.JORGENSEN, J.U.SKAKKEBAEK

TSF, British Aerospace, CRI

Rapport de Contrat : Contrat BRITE-EURAM IMAGES 2000, Février 1996, 68p. , N° 96011

Non diffusable

Ajouter au panier 13620