Retour au site du LAAS-CNRS

Property-oriented testing based on simulated annealing

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

TSF

Rapport LAAS N°01425, Septembre 2001, 11p.

Diffusable

Ajouter au panier 47638

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

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

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

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

Test criteria definition for B models

S.BEHNIA, H.WAESELYNCK

TSF

Manifestation avec acte : World Congress on Formal Methods in the Development of Computing Systems (FM'99), Toulouse (France), 20-24 Septembre 1999 , N° 99071

Diffusable

Ajouter au panier 35100

A case study in statistical testing of reusable concurrent objects

H.WAESELYNCK, P.THEVENOD-FOSSE

TSF

Manifestation avec acte : 3rd European Dependable Computing Conference (EDDC-3), Prague (République Tchèque), 15-17 Septembre 1999 , N° 98489

Diffusable

Ajouter au panier 35007

Testing of reusable concurrent objects: the production cell example

P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Manifestations avec acte à diffusion limitée : 1st International ICSE Workshop on Testing Distributed Component-Based Systems, Los Angeles (USA), 17 Mai 1999, 6p. , N° 99146

Diffusable

Ajouter au panier 33568

A test ordering tool for object-oriented programs

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

LIS, Aérospatiale

Manifestations avec acte à diffusion limitée : 10th European Workshop on Dependable Computing (EWDC-10), Vienne (Autriche), 6-7 Mai 1999, pp.57-61 , N° 99096

Diffusable

Ajouter au panier 33428