93documents trouvés
Proof-guided testing: towards complementarity of verification techniques
G.LUSSIER, H.WAESELYNCK, K.GUENNOUN
TSF
Rapport LAAS N°03198, Décembre 2003, 20p.
Diffusable
100727Logiciel libre et sûreté de fonctionnement. Cas des systèmes critiques
B.BERARD, P.COUPOUX, Y.CROUZET, P.DAVID, Y.GARNIER, S.GOIFFON, G.MARIANO, V.NICOMETTE, L.PLANCHE, I.PUAUT, J.M.TANNEAU, H.WAESELYNCK
LSV, Technicatome, TSF, SNCF, AIRBUS France, INRETS Villeneuve, ASTRIUM, IRISA, Thales Research, ESA/ESTEC
Ouvrage (auteur) : Hermes Science, N°ISBN 2-7462-0727-3, Septembre 2003, 234p. , N° 03367
Non diffusable
101148An empirical investigation of simulated annealing applied to property-oriented testing
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK
TSF
Manifestation avec acte : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'2003), Tunis (Tunisie), 14-18 Juillet 2003, 15p. , N° 02467
Diffusable
101081Property-oriented testing: a strategy for exploring dangerous scenarios
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK
TSF
Manifestation avec acte : 2003 ACM Symposium on Applied Computing, Melbourne (USA), 9-12 Mars 2003, pp.1128-1134 , N° 02346
Diffusable
100564Informal proof analysis towards testing enhancement
G.LUSSIER, H.WAESELYNCK
TSF
Manifestation avec acte : 13th International Symposium on Software Reliability Engineering (ISSRE'2002), Annapolis (USA), 12-15 Novembre 2002, pp.27-38 , N° 01580
Diffusable
100158A stepwise strategy for property-oriented testing
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK
TSF
Manifestations avec acte à diffusion limitée : 4th European Dependable Computing Conference (EDCC-4). Fast abstracts, Toulouse (France), 23-25 Octobre 2002, pp.19-20 (Résumé) , N° 02351
Diffusable
100005FAST: a prototype tool for supporting the engineering of socio-technical systems
M.MERSIOL, J.ARLAT, D.POWELL, A.SAIDANE, H.WAESELYNCK, C.MAZET
TSF
Manifestation avec acte : 3rd European Systems Engineering Conference, Toulouse (France), 21-24 Mai 2002, pp.33-40 , N° 02197
Diffusable
52081Stepwise construction of test scenarios for property-oriented testing
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK
TSF
Rapport LAAS N°02216, Mai 2002, 11p.
Diffusable
52085Property-based validation of component systems
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK, N.MOFFAT, I.ZAKKIUDIN
TSF, QinetiQ
Rapport de Contrat : DSoS, Project IST-1999-11585, Avril 2002, 51p. , N° 02212
Diffusable
52040Analyse d'une preuve informelle pour guider le test
G.LUSSIER, H.WAESELYNCK
TSF
Manifestation sans acte : Journées FAC'2002. Formalisation des Activités Concurrentes, Toulouse (France), 26-27 Mars 2002, 14p. , N° 02043
Diffusable
51436