93documents trouvés
Detecting interferences in aspect oriented programs
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Manifestation avec acte : European Workshop on Dependable Computing (EWDC 2011), Pise (Italie), 11-12 Mai 2011, 6p. , N° 11131
Diffusable
124566Test des applications orientés aspect: modèle de faute, classification des techniques, problèmes ouverts
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Manifestation avec acte : Congrès des Doctorants EDSYS 2011, Toulouse (France), 10-11 Mai 2011, 6p. , N° 11165
Diffusable
124825Techniques for adaptable fault tolerant computing: principles, benefits and AOP testing issues
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Rapport de Contrat : IMAP, Airbus, Avril 2011, 30p. , N° 11194
Non diffusable
124458A principled evaluation of the effect of directed mutation on search-based statistical testing
S.POULDING, J.A.CLARK, H.WAESELYNCK
TSF, York
Manifestation avec acte : International Workshop on Search-Based Software Testing (SBST 2011), Berlin (Allemagne), 21 Mars 2011, 10p. , N° 11119
Diffusable
124539TERMOS: a formal language for scenarios in mobile computing systems
H.WAESELYNCK, Z.MICSKEI, N.RIVIERE, A.HAMVAS, I.NITU
TSF, Budapest
Manifestation avec acte : International Conference on Mobile and Ubiquitous Systems: Computing Networking and Services (MobiQuitous 2010), Sydney (Australie), 6-9 Décembre 2010, 12p. , N° 10520
Diffusable
123379Paths to property violation: a structural approach for analyzing counter-examples
T.BOCHOT, P.VIRELIZIER, H.WAESELYNCK, V.WIELS
TSF, ONERA/DTIM, AIRBUS France
Manifestation avec acte : International Symposium on High Assurance Systems Engineering (HASE 2010), San José (USA), 1-4 Novembre 2010, pp.74-83 , N° 10257
Diffusable
123053Etat de l'art et perspectives. Projet DALI
E.ABGRALL, R.AKROUT, E.ALATA, A.DESSIATNIKOFF, Y.DESWARTE, S.GOMBAULT, M.KAANICHE, K.KANOUN, I.KEMGOUM, L.LE HENAFF, Y.LE TRAON, R.LUDINARD, T.MOUELHI, V.NICOMETTE, A.RIBAULT, F.SORIN, E.TOTEL, F.TRONEL, H.WAESELYNCK
Kereval, TSF, Telecom Bretagne, SUPELEC Rennes
Rapport de Contrat : ANR. Projet DALI, Août 2010, 17p. , N° 10822
Diffusable
123640STANCE: un outil d'analyse structurelle de contre-exemples
T.BOCHOT, P.VIRELIZIER, H.WAESELYNCK, V.WIELS
TSF, AIRBUS France, ONERA/DTIM
Manifestation avec acte : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2010), Poitiers (France) , 9-11 Juin 2010, 4p. , N° 10328
Diffusable
121818GraphSeq: a graph matching tool for the extraction of mobility patterns
M.D.NGUYEN, H.WAESELYNCK, N.RIVIERE
TSF
Manifestation avec acte : 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), Paris (France), 7-9 Avril 2010, pp.195-204 , N° 08714
Diffusable
Plus d'informations
Mots-Clés / Keywords
Algorithms; Graph matching; Testing; Mobile computing systems; Scenario;
Model checking flight control systems: the Airbus experience
T.BOCHOT, P.VIRELIZIER, H.WAESELYNCK, V.WIELS
AIRBUS France, TSF, ONERA/DTIM
Manifestation avec acte : 31st International Conference on Software Engineering (ICSE 2009), Vancouver (Canada), 16-24 Mai 2009, 6p. , N° 08284
Diffusable
Plus d'informations
Abstract
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification at design level.