Retour au site du LAAS-CNRS

Robustness testing

H.WAESELYNCK, J.ARLAT, I.MAJZIK, Z.MICSKEI

Budapest, TSF

Rapport LAAS N°06815, Novembre 2006, 16p.

Diffusable

Ajouter au panier 108648

Use case scenarios and preliminary reference model. Deliverable n° D1.1

M.RADIMIRSCH, E.V.MATTHIESEN, GHUSZERL, M.REITENSPIESS, M.KAANICHE, I.E.SVINNSET, ACASIMIRO, LFALAI, MLOBBERS, M.O.KILLIJIAN, TINGVALDSEN, A.F.HANSEN, IDE BRUIN, H.WAESELYNCK, N.RIVIERE

Carmeq, AAU Danemark, BME Hungary, FSC, TSF, TELENOR, FCUL Portugal, UNIFI, WMC, AAU

Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Septembre 2006, 89p. , N° 06235

Diffusable

Ajouter au panier 109901

Automatisation des tests "OCASIME"

G.DURRIEU, C.SEGUIN, H.WAESELYNCK, V.WIELS

TSF, ONERA-CERT, ONERA

Rapport de Contrat : Contrat ONERA/AIRBUS - Recherche CDV/Automatisation des tests OCASIME. Rapport n°1/11191/DTIM, Juin 2006, 20p. , N° 06515

Non diffusable

Ajouter au panier 107470

ASSERT. Automated proof based system and software engineering for real-time applications

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, J.FAVARO, M.KAANICHE, K.KANOUN, S.PURI, T.ROBERT, M.ROY, A.E.RUGINA, N.SALATGE, H.WAESELYNCK

TSF, INTECS

Rapport de Contrat : Projet IST ASSERT N°004033, Février 2006, 140p. , N° 06132

Non diffusable

Ajouter au panier 106103

Dependability needs and preliminary solutions concerning evaluation, testing and wrapping

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, M.KAANICHE, K.KANOUN, S.MAZZINI, M.R.NAZZARELLI, D.POWELL, M.ROY, A.E.RUGINA, H.WAESELYNCK

INTECS, TSF

Rapport de Contrat : ASSERT Project IST-004033, Septembre 2005, 80p. , N° 05424

Diffusion restreinte

Ajouter au panier 104294

Test guidé par la preuve. Application à un protocole d'appartenance de groupe

G.LUSSIER, H.WAESELYNCK

TSF

Manifestation avec acte : 11ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2005), Bordeaux (France), 29 Mars - 1er Avril 2005, 6p. , N° 05146

Diffusable

Ajouter au panier 103455

Deriving test sets from partial proofs

G.LUSSIER, H.WAESELYNCK

TSF

Manifestation avec acte : 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'2004), Saint-Malo (France), 2-5 Novembre 2004, pp.14-24 , N° 04199

Diffusable

Ajouter au panier 103116

Proof-guided testing: an experimental study

G.LUSSIER, H.WAESELYNCK, K.GUENNOUN

TSF, OLC

Manifestation avec acte : 28th Annual International Computer Software and Applications Conference (COMPSAC'2004), Hong kong (Chine), 28-30 Septembre 2004, pp.528-533 , N° 04154

Diffusable

Ajouter au panier 102688

Open source software in critical systems

P.DAVID, H.WAESELYNCK, Y.CROUZET

ESA/ESTEC, TSF

Manifestation avec acte : IFIP 18th World Computer Congress. Building the Information Society, Toulouse (France), 22-27 Août 2004 , N° 04387

Diffusable

Ajouter au panier 102438

Test guidé par la preuve. Etude expérimentale de l'algorithme d'appartenance de groupe du TTP/C

G.LUSSIER, H.WAESELYNCK

TSF

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2004), Toulouse (France), 9-10 Mars 2004, 12p. , N° 04208

Diffusable

Ajouter au panier 102125