Laya Madani

Equipe Vasco
Laboratoire d'Informatique de Grenoble
Bâtiment IMAG D
681, rue de la Passerelle
38400 Saint Martin d’Hères
France
Tel : +33 4 76 82 72 32
E-mail : laya.madani@imag.fr

Thèmes de recherche

  • Validation et vérification
  • Test à partir d'un modèle
  • Génération automatique de données de test
  • Spécification formelle de propriétés

Publication

Revues


L. Madani, I. Parissis. Automatically Testing Interactive Applications Using Extended Task Trees. Journal of Logic and Algebraic Programming 2009. pdf

Conférences internationales avec actes et comité de sélection - forte sélectivité


Laya Madani, Virginia Papailiopoulou and Ioannis Parissis.Towards a testing methodology for reactive systems: a case study of a landing gear controller. In ICST'2010, Third International Conference on Software Testing, Verification and Validation, Paris, France, April 6-10, 2010. pdf

J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis. Formal Testing of Multimodal Interactive Systems. In EIS'2007 Engineering Interactive Systems, Salamanca, Spain, 3/2007. pdf

L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, 11/2005. pdf

Autres conférences et colloques internationaux avec actes et comité de sélection


V. Papailiopoulou, L. Madani, L. du Bousquet, I. Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS) . L’Aquila, Italy, 9/2008. pdf

L. Madani, I. Parissis.Automated Test of Interactive Applications Using Task Trees. 4th Workshop on Advances in Model Based Testing (A-MOST 2008), Lillehammer, Norway 4/2008.

L. Madani, L. Nigay, I. Parissis. Testing the CARE properties of multimodal applications by means of a synchronous approach. In IASTED International Conference on Software Engineering, Innsbruck, Austria, 2/2005. pdf

Conférences et colloques nationaux avec actes et comité de sélection


L. Madani, A. Mhiri, S. Dupuy-Chessa, I. Parissis. Vers la validation automatique de propriétés ergonomiques de systèmes interactifs. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Toulouse, 26 - 28 janvier 2009. pdf

L. Madani, I. Parissis. Vers la génération automatique de tests à partir d’arbres de tâches. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2007), Namur, Belgium, 6/2007.

Autres publications (rapports, thèse)


Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs. Thèse, Université Joseph Fourrier, soutenue le 29 octobre 2007. url

Laya Madani, Catherine Oriat, Ioannis Parissis. « Expression de propriétés ergonomiques et fonctionnelles dans le formalisme synchrone » et « Guide de conception de propriétés de services multimodaux ». Fourniture du projet RNRT VERBATIM. 12/2005.