Retour au site du LAAS-CNRS

TOONS: a Testing level generator for Object-OrieNted Software

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

LIS, TSF

Rapport LAAS N°01362, Août 2001, 11p.

Diffusable

Ajouter au panier 46974

SPAAS: Software Product Assurance for Autonomy on-board Spacecraft - Lessons learned from autonomous non-space applications

N.LECUBIN, J.C.PONCET, D.POWELL, P.THEVENOD-FOSSE

AXLOG, TSF

Rapport de Contrat : Contrat ESTEC N°14898/01/NL/JA, Août 2001, 134p. , N° 01267

Diffusion restreinte

Ajouter au panier 52384

A strategy for testing MetaObject Protocols in reflective architectures

J.C.RUIZ-GARCIA, P.THEVENOD-FOSSE, J.C.FABRE

TSF

Manifestation avec acte : 2001 International Conference on Dependable Systems and Networks (DSN'2001), Göteborg (Suède), 1-4 Juillet 2001, pp.327-336 , N° 00548

Diffusable

Ajouter au panier 46413

Adaptation of simulated annealing to property-oriented testing for sequential problems

O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Manifestations avec acte à diffusion limitée : 2001 International Conference on Dependable Systems and Networks (DSN'2001). Fast abstracts, Göteborg (Suède), 1-4 Juillet 2001, pp.B82-B83 , N° 01324

Diffusable

Ajouter au panier 46567

Test fonctionnel de logiciels critiques développés en Java

P.CHEVALLEY, P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Subvention Région Midi-Pyrénées N°RECH/99001170, Mars 2001, 15p. , N° 01129

Diffusable

Ajouter au panier 44787

Reflective fault-tolerant systems: from design to validation

J.C.FABRE, M.O.KILLIJIAN, J.C.RUIZ-GARCIA, P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Contrat CNET N°ST.CNET/DTL/ASR/97049/DT, Janvier 2001, 34p. , N° 01007

Diffusion restreinte

Ajouter au panier 43331

Dependable systems of systems: state of the art survey

J.ARLAT, J.C.FABRE, V.ISSARNY, M.KAANICHE, K.KANOUN, C.KLOUKINAS, B.MARRE, E.MARSDEN, D.POWELL, A.ROMANOVSKY, P.THEVENOD-FOSSE, H.WAESELYNCK, I.WELCH, I.ZAKKIUDIN, A.ZARRAS

TSF, INRIA Rocquencourt, LRI, Newcastle, DERA, Malvern

Rapport de Contrat : DSoS, Project IST-1999-11585, Septembre 2000, 97p. , N° 00353

Diffusable

Ajouter au panier 41270

Définition of a test strategy for dependable reflective architectures

J.C.RUIZ-GARCIA, J.C.FABRE, P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Contrat CNET France Telecom N° ST/DTL/ASR/97049/DT, Juillet 2000, 20p. , N° 00326

Diffusion restreinte

Ajouter au panier 40117

Testing levels for object-oriented software

Y.LABICHE, P.THEVENOD-FOSSE, H.WAESELYNCK, M.H.DURAND

LIS

Manifestation avec acte : 22nd International Conference on Software Engineering (ICSE'2000), Limerick (Irlande), 4-11 Juin 2000, pp.136-145 , N° 99473

Diffusable

Ajouter au panier 39281

Composants logiciels et sûreté de fonctionnement. Intégration de COTS

J.ARLAT, J.P.BLANQUART, T.BOYER, Y.CROUZET, M.H.DURAND, J.C.FABRE, M.FOUNAU, M.KAANICHE, K.KANOUN, P.LE MEUR, C.MAZET, D.POWELL, F.SCHEERENS, P.THEVENOD-FOSSE, H.WAESELYNCK

LIS

Ouvrage (auteur) : Hermès, 2000, 158p. , N° 00112

Non diffusable

Ajouter au panier 39747