Retour au site du LAAS-CNRS

Software error analysis: a real case study involving real faults and mutations

M.DARAN, P.THEVENOD-FOSSE

LIS

Manifestation avec acte : International Symposium on Software Testing and Analysis (ISSTA'96), San Diego (USA), 8-10 Janvier 1996, pp.158-171 , N° 95225

Diffusable

Ajouter au panier 12087

Domaines et utilisations de la technologie à objets

Y.AMGHAR, J.BEZIVIN, P.DE BONDELI, J.C.FABRE, A.FLORY, P.LAUBLET, C.O.NDIGO NZIE, P.PERRIN, J.F.PERROT, B.PHILIPPE, J.M.PINON, M.PONTACQ, A.ROCHFELD, F.TERRIER, P.THEVENOD-FOSSE

EXT, TSF, INSA-LISI, Nantes, CAMS-ISHA, INDIA SA, EDF, LAFORIA-IBP, LAMIH, BULL, INGENIA, LETI/DEIN-CEA

Manifestation avec acte : 2ème Congrès Biennal de l'AFCET, Toulouse (France), 25-27 Octobre 1995, pp.43-72 , N° 95339

Diffusable

Ajouter au panier 12453

On the adequacy of functional test criteria based on software behaviour models

P.THEVENOD-FOSSE, Y.CROUZET

TSF

Manifestation avec acte : Fifth International Working Conference on Dependable Computing for Critical Applications (DCCA'95), Urbana-Champaign (USA), 27-29 Septembre 1995, pp.176-187 , N° 94192

Diffusable

Ajouter au panier 9928

Validation means to ensure dependability of I/O modules

J.ARLAT, P.THEVENOD-FOSSE, K.WILLIAMSON, D.J.VALLINS

TSF, EXT

Rapport de Contrat : Contrat BRITE-EURAM IMAGES 2000, Juillet 1995, 94p. , N° 95242

Non diffusable

Ajouter au panier 12094

Guide de la sûreté de fonctionnement

J.C.LAPRIE, J.ARLAT, J.P.BLANQUART, A.COSTES, Y.CROUZET, Y.DESWARTE, J.C.FABRE, H.GUILLERMAIN, M.KAANICHE, K.KANOUN, C.MAZET, D.POWELL, C.RABEJAC, P.THEVENOD-FOSSE

LIS

Ouvrage (auteur) : Cepaduès Editions, N°ISBN 2-85428-382-1, 1995, 324p. , N° 94090

Non diffusable

Ajouter au panier 9586

Software statistical testing

P.THEVENOD-FOSSE, H.WAESELYNCK, Y.CROUZET

TSF

Ouvrage (contribution) : Predictably dependable computing systems, Eds. B.Randell, JC.Laprie, H.Kopetz, B.Littlewood, Springer, N°ISBN 3-540-59334-9, 1995, pp.253-272 , N° 95178

Diffusable

Ajouter au panier 12003

An experimental evaluation of formal testing and statistical testing

B.MARRE, P.THEVENOD-FOSSE, H.WAESELYNCK, P.LE GALL, Y.CROUZET

EXT, TSF

Ouvrage (contribution) : Revised version in Predictably dependable computing systems, Eds. B.Randell, JC.Laprie, H.Kopetz, B.Littlewood, Springer, N°ISBN 3-540-59334-9, 1995, pp.273-281 , N° 92219

Diffusable

Ajouter au panier 6172

Software reliability: state-of-the-art and perspectives

K.KANOUN, J.C.LAPRIE, P.THEVENOD-FOSSE

TSF

Rapport LAAS N°95205, Mai 1995, 50p.

Diffusable

Ajouter au panier 12082

La technologie à objets. Domaines et utilisations

Y.AMGHAR, J.BEZIVIN, P.DE BONDELI, J.C.FABRE, A.FLORY, P.LAUBLET, C.O.NDIGO NZIE, J.F.PERROT, B.PHILIPPE, J.M.PINON, A.ROCHFELD, A.SAYAH, F.TERRIER, P.THEVENOD-FOSSE

TSF, INSA-LISI, CAMS-ISHA, INDIA SA, Nantes, LAMIH, LAFORIA-IBP, INGENIA, IRIT-UPS, LETI/DEIN-CEA

Revue Scientifique : Ingénierie des Systèmes d'Information, Vol.3, N°6, pp.739-776, 1995 , N° 96091

Diffusable

Ajouter au panier 13572

Co-existence de logiciels de criticités non-homogènes

C.BEOUNES, Y.DESWARTE, J.C.FABRE, P.THEVENOD-FOSSE

TSF

Version Révisée : Version révisée, Décembre 1994, 31p. , N° 94515

Non diffusable

Ajouter au panier 11032